Systems Dependability Assessment, Benefits of Petri Net Models by Aubry, Jean-François -- Read -- Imperial Library of Trantor

Index

Cover 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 1

PART 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 process 7.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 modeling 11.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

Introduction to Part 4 13 Application in Dynamic Reliability

13.1. Presentation of the system and hypothesis 13.2. System modeling with Petri net 13.3. Methodology application 13.4. Construction of an aggregated Markov graph 13.5. Conclusion

14 Classical Dependability Assessment

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