Diagnosis of time Petri nets using fault diagnosis graph. (English) Zbl 1360.93442
Editorial remark: No review copy delivered.
MSC:
93C65 | Discrete event control/observation systems |
68M14 | Distributed systems |
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |