On the Equivalence of Observation Structures for Petri Net Generators
From MaRDI portal
Publication:2980390
DOI10.1109/TAC.2015.2496500zbMath1359.93289OpenAlexW2345051373MaRDI QIDQ2980390
Zhiwu Li, Alessandro Giua, Yin Tong
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2015.2496500
Discrete event control/observation systems (93C65) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs, Decidability of opacity verification problems in labeled Petri net systems, Deadlock analysis and control using Petri net decomposition techniques, Editorial: Deadlock analysis and control in resource allocation systems, An improved approach for marking optimization of timed weighted marked graphs, Deadlock recovery for flexible manufacturing systems modeled with Petri nets, Deadlock and liveness characterization for a class of generalized Petri nets