Includes bibliographical references (page 251-260) and index.
Contents:
Short Review of Petri Net Modeling -- Autonomous Petri Nets -- Petri Nets and Event Languages -- Comparison Petri Nets ́ Finite State Automaton -- Some Extensions of Petri Nets -- A Formal Approach to Risk Assessment -- Ontology-Based Accidental Process -- Petri Net Modeling of the Accidental Process -- Illustrative Example -- Design and Safety Assessment Cycle -- Stochastic Petri Nets -- Basic Concept -- Semantics, Properties and Evolution Rules of an SPN -- Simplification of Complex Models -- Extensions of SPN -- Applications of Stochastic Petri Nets to Assessment Problems in Industrial Systems -- Application in Dynamic Reliability -- Classical Dependability Assessment -- Impact of Failures on System Performances
Series:
Systems and industrial engineering series Systems dependability assessment set ; volume 1
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.