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.) |
