Publication | Closed Access

Make your Petri nets understandable: Reliability block diagrams driven Petri nets

ReliabilityPetri NetReliability EngineeringEngineeringReliability ManagementVerificationStochastic Petri NetFormal MethodsSystems EngineeringSoftware EngineeringReliability Block DiagramsComputer ScienceSystem ReliabilityPetri NetsFormal VerificationDependability ModellingSoftware Design