Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri nets

On commoner's liveness theorem and super

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

✍ Ramavarapu S. Sreenivas 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 613 KB

A Petri net (PN) (Pe::erson, 1981;Reisig, 1985) is said to be live if it is possible to fire any transition from every reachable marking, although not: necessarily immediately. A free-choice Petri net (FCPN) is a PN, where every arc from a place to a transition is either t~e unique output arc from t