On the Equivalence of Observation Structures for Petri Net Generators

DOI10.1109/TAC.2015.2496500MaRDI QIDQ2980390zbMATH OpenOpenAlexFDO

Authors Yin Tong, Zhiwu Li, Alessandro Giua

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

Mathematics Subject Classification ID

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

Cited in

(9)

• 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
• Decidability of opacity verification problems in labeled Petri net systems
• Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
• scientific article; zbMATH DE number 6027053 (Why is no real title available?)
• A symbolic approach to the verification and enforcement of current-state opacity using labelled Petri nets
• Deadlock and liveness characterization for a class of generalized Petri nets

This page was built for publication: On the Equivalence of Observation Structures for Petri Net Generators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980390)