Computers & Electrical Engineering · 1984 · 64 citations · 23 references
ReliabilityHybrid Reliability ModelingReliability EngineeringEngineeringReliability ModellingComputer EngineeringSystems EngineeringSystem ReliabilityReliability ModelingFormal VerificationDependability Modelling
23
Petri Net theory and the modeling of systems
Mathematics and Computers in Simulation · 1982 · 3.6K citations