Codiagnosability Analysis of Bounded Petri Nets

DOI10.1109/TAC.2017.2742659zbMath1390.93531OpenAlexW2750225339MaRDI QIDQ4567184

Ning Ran, Carla Seatzu, Alessandro Giua, Hong-Ye Su

Publication date: 27 June 2018

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

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

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)

Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization ⋮ Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

This page was built for publication: Codiagnosability Analysis of Bounded Petri Nets