Progress in Nuclear Energy · 2023 · 10 citations · 12 references
EngineeringComputer SystemsSystems EngineeringFault-tolerant SystemsSafety EngineeringPetri NetsReliability ModelingReliable System DesignSafety SystemsSafety-critical SystemsSystem SafetyPetri Net AnalysisPetri Net Model CheckingPetri Net ModelsSafety Critical System AnalysisSafety-critical System DesignSafety-critical Systems AnalysisSafety-critical Systems Architecture
12
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations