Codiagnosability Analysis of Bounded Petri Nets
From MaRDI portal
Publication:4567184
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
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
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