Petri nets are a powerful formalism in modeling workflows. A workflow determines the flow of
work according to pre-defined business process. In many situations, business processes are …

Internet-motivated video streaming systems face such complicated issues as a high degree
of network-resource sharing amongst many flows, which potentially leads to deadlocks …

This paper presents an ordinary Petri net (PN)-based approach to the modeling and race-
detection problems of programs for programmable logic controllers (PLCs). First, a PLC …

This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S 3 PR
(systems of simple sequential processes with resources). Based on KP, two policies are …

For a class of Petri nets whose uncontrollable influence subnets are forward synchronization
and backward conflict-free nets, this paper proposes an algorithm to transform a given …

Cluster tools have been extensively used for many semiconductor manufacturing processes
such as lithograph, etching, deposition, and testing. Most previous studies on cluster tool …

For practical automated manufacturing systems (AMSs), the time dimension is of great
significance and should be integrated in their plant models. Reasonably, many of the …

Such concurrent systems as Web services and workflow systems can be viewed as a
composition of a set of subsystems. Subsystems interact with each other through a set of …

A universal Petri net with 14 places, 42 transitions, and 218 arcs was built in the class of
deterministic inhibitor Petri nets (DIPNs); it is based on the minimal Turing machine (TM) of …

Resource failures may happen from time to time in an automated manufacturing system
(AMS) in production practice, leading to that most of deadlock control methods in the …