Design of T-liveness enforcing supervisors in petri nets

DOI10.1109/TAC.2003.819078zbMath1364.93468MaRDI QIDQ5266683

Panos J. Antsaklis, Marian V. Iordache

Publication date: 20 June 2017

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ Supervision based on place invariants: a survey ⋮ Unnamed Item ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching ⋮ Observable liveness of Petri nets

This page was built for publication: Design of T-liveness enforcing supervisors in petri nets