An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets

DOI10.1016/S0005-1098(98)80016-2zbMath0933.93037MaRDI QIDQ1295011

Ramavarapu S. Sreenivas

Publication date: 5 December 1999

Published in: Automatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets

This page was built for publication: An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets