Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”

DOI10.1109/TAC.2004.831162zbMath1365.68345OpenAlexW2161439739WikidataQ125014285 ScholiaQ125014285MaRDI QIDQ5273832

Alessandro Giua, Xiaolan Xie

Publication date: 12 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2004.831162

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets ⋮ Control of safe ordinary Petri nets using unfolding

This page was built for publication: Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”