Diagnosability of Petri nets with observation graphs
From MaRDI portal
Publication:312654
DOI10.1007/s10626-014-0207-5zbMath1346.93254MaRDI QIDQ312654
Publication date: 16 September 2016
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-014-0207-5
Petri nets; diagnosability; discrete event systems; observation graphs; partially observed Petri nets
05C90: Applications of graph theory
93C65: Discrete event control/observation systems
93B07: Observability