Reliability Analysis of Safety-Critical Systems using Optimized Petri Nets
Mohan Rao Mamdikar, Vinay Kumar, Sharda Bharti, Pooja Singh
Topics & Concepts
Computer sciencePetri netLife-critical systemUnified Modeling LanguageReliability (semiconductor)Reliability engineeringDistributed computingProgramming languagePower (physics)EngineeringSoftwarePhysicsQuantum mechanicsPetri Nets in System ModelingRisk and Safety AnalysisSoftware Reliability and Analysis Research