Systems dependability assessment : benefits of petri net models / Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni.

Format:

Book

Author/Creator:

Aubry, Jean-François, author.

Brînzei, Nicolae, author.

Mazouni, Mohammed-Habib, author.

Series:

Systems and industrial engineering series.

Systems dependability assessment set.

Systems and industrial engineering series

Systems dependability assessment set

Language:

English

Subjects (All):

System design.

System analysis.

Petri nets.

Physical Description:

1 online resource (204 p.)

Edition:

1st ed.

Place of Publication:

Hoboken, New Jersey : ISTE : Wiley, 2015.

Summary:

Petri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We propose in addition to bring a focus on the adequacy of Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment. In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules...) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.

Contents:

Tabel of Contents; Title; Copyright; Introduction; PART 1: Short Review of Petri Net Modeling; Introduction to Part 1; 1 Autonomous Petri Nets; 1.1. Unmarked Petri nets; 1.2. Marking of a PN; 1.3. Dynamics of autonomous PNs; 2 Petri Nets and Event Languages; 2.1. Labeled PNs; 2.2. Example; 3 Comparison Petri Nets - Finite State Automaton; 3.1. Language expression; 3.2. Building of the models; 3.3. Compactness of the model; 4 Some Extensions of Petri Nets; 4.1. PN with inhibitor arcs; 4.2. Timed PN; 4.3. Synchronized PN; 4.4. Timed synchronized PN; 4.5. Interpreted PN; 4.6. Colored PN

Conclusion to Part 1PART 2: A Formal Approach to Risk Assessment; Introduction to Part 2; 5 Ontology-based Accidental Process; 5.1. Preliminary definitions; 5.2. Elementary entities: HSE and VTE; 5.3. Elementary situations and elementary events; 5.4. Conclusion; 6 Petri Net Modeling of the Accidental Process; 6.1. Elementary process; 6.2. Sequence of elementary processes; 6.3. Modeling the action of a safety barrier; 6.4. Modeling of a cumulative process; 6.5. PN as a support for risk assessment; 6.6. Conclusion; 7 Illustrative Example; 7.1. Functional description

7.2. Building of an accidental process7.3. Conclusion; 8 Design and Safety Assessment Cycle; 8.1. Five essential steps; 8.2. Ontological interest; Conclusion to Part 2; PART 3: Stochastic Petri Nets; Introduction to Part 3; 9 Basic Concept; 9.1. Introductory example; 9.2. Formal definition; 10 Semantics, Properties and Evolution Rules of an SPN; 10.1. Conservatism properties; 10.2. Mean sojourn time in a place of a SPN; 10.3. Equivalent Markov process; 10.4. Example of SPN for systems dependability modeling and assessment; 11 Simplification of Complex Models; 11.1. Introduction

11.2. System modeling11.3. Presentation of the quantitative analysis method; 11.4. Example; 12 Extensions of SPN; 12.1. Introduction; 12.2. Relationship between stochastic Petri nets and stochastic processes; 12.3. The transition firing policy; 12.4. Associated stochastic processes; 12.5. Synchronization problem in generalized stochastic Petri nets; 12.6. Conclusion; PART 4: Applications of Stochastic Petri Nets to Assessment Problems in Industrial Systems; Introduction to Part 4; 13 Application in Dynamic Reliability; 13.1. Presentation of the system and hypothesis

13.2. System modeling with Petri net13.3. Methodology application; 13.4. Construction of an aggregated Markov graph; 13.5. Conclusion; 14 Classical Dependability Assessment; 14.1. Availability study of a nuclear power plant subsystem; 14.2. Common causes failures in nuclear plants (safety oriented); 15 Impact of Failures on System Performances; 15.1. Reliability evaluation of networked control system; 15.2. Railway signaling; Conclusion; Appendix; A.1. Complements on Petri nets basics; Bibliography; Index; End User License Agreement

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on print version record.

ISBN:

9781119262114

1119262119

9781119262107

1119262100

OCLC:

940438720