On Commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets

Authors:
Ramavarapu S. Sreenivas
Affiliations:
-
Venue:
Systems & Control Letters
Year:
1997

Citing 0
Cited 3

Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets

Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri nets

Mathematics and Computers in Simulation
Brief Paper: An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract