In many discrete event dynamic systems, there exist tasks that can start performing before every input data is available. A common device exhibiting such a feature is the multiplexer: its output can be produced as soon as data is available in the ...

Siphon-based control methods are often employed for deadlock prevention in Petri net models of flexible manufacturing systems. Such methods generally require siphon enumeration, which is a computationally intensive task, whose complexity grows with the ...

Petri nets and related models have been used for specification, analysis, and synthesis of programs. The paper contains a survey of several literature approaches and an examination of their relationship to Petri net modeling and supervisory control. The ...

Continuous Petri nets (conPNs) are an approximation of (discrete) Petri nets (PNs) introduced to cope with the state explosion problem typical of discrete event systems. We consider a free-labeled Petri net model and assume that certain transitions, ...