Automatica · 2010 · 348 citations · 27 references
EngineeringComputer EngineeringComputer ScienceFault-tolerant ComputingFault-tolerant SystemsSystems ModelingDiagnosisDiagnosticsDiscrete-event System ModelingFault DetectionFault DiagnosisPetri NetsDiscrete-event ModelingDiscrete-event SystemsMarkingsPetri Net ModelsReachabilityTransition Nets
27
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Diagnosability of discrete-event systems
Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 1995 · 1.6K citations
Bonaventure Intercontinental · 1985 · 680 citations