Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

Download Full-text

Error Detection and Correction in a Photo-Digital Storage System

IBM Journal of Research and Development ◽

10.1147/rd.126.0422 ◽

1968 ◽

Vol 12 (6) ◽

pp. 422-430 ◽

Cited By ~ 8

Author(s):

I. B. Oldham ◽

R. T. Chien ◽

D. T. Tang

Keyword(s):

Error Detection ◽

Storage System ◽

Digital Storage ◽

Error Detection And Correction

Download Full-text

Optical Comparison Operation for 8-Bit QPSK-Modulated Signal by Using Serially-Cascaded Delay Line Interferometer

Applied Sciences ◽

10.3390/app8091440 ◽

2018 ◽

Vol 8 (9) ◽

pp. 1440 ◽

Cited By ~ 2

Author(s):

Yohei Aikawa

Keyword(s):

Error Detection ◽

Communication Systems ◽

Delay Line ◽

Hamming Distance ◽

Code Word ◽

Modulation Format ◽

Comparison Operation ◽

Error Detection And Correction ◽

All Optical ◽

Shift Keying

An all-optical comparator is desirable to realize large-capacity, fully-transparent, and energy-efficient communication systems, as it is considered to be a fundamental component to perform most of the operations, including packet switching, label recognition, error detection and correction, and so on. However, most of the previous studies have been confined to the on–off keying (OOK) modulation format, not phase-shift keying (PSK) modulation. In this paper, the author provides a novel optical comparator designed for quadrature PSK (QPSK)-modulated signal, which comprises a code word with 8-bit length, using a serially-cascaded delay line interferometer. The proposed comparator yields constellations having the information of a Hamming distance based on the designed code, when several patterns of QPSK signal are injected into the comparator. The paper experimentally demonstrates the feasibility of the optical comparison operation for 8-bit QPSK-modulated return-to-zero (RZ) signal at 10 Gbaud.

Download Full-text