Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods

DOI10.1109/TAC.2002.800641zbMath1364.68286OpenAlexW2150093018MaRDI QIDQ5267131

Kevin X. He, Michael D. Lemmon

Publication date: 20 June 2017

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

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

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 (3)

An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ 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: Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods