International Journal of Computers and Applications · 2009 · 22 citations · 0 references
EngineeringComputer EngineeringSystems EngineeringFormal MethodsSystems DesignSystems ModelingDependability AnalysisModel-based DesignPetri NetsReliability ModelingReliable System DesignSystem DiagramsPetri Net AnalysisPetri Net ModelsPetri Net VerificationReliability Block DiagramsReliability DiagramsReliability EngineeringSystem ReliabilitySystem Reliability Modeling
With the rapid advances of computer-based technology in mission-critical domains such as aerospace, military, and power industries, critical systems exhibit more complex, dependent, and dynamic behaviours.