Systems dependability assessment : benefits of petri nets models / Jean-Francois Aubry

By:

Aubry, Jean François [aut]

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Systems dependability assessment set | Systems and industrial engineering seriesPublisher: London, UK ; Hoboken, NJ : ISTE, Ltd, 2016Copyright date: ©2016Description: 1 online resourceISBN:

9781119262114
1119262119
9781119262121
1119262127
9781119262107
9781848219915

Subject(s):

Additional physical formats: 9781848219915 | Erscheint auch als: Systems dependability assessment set ; volume 1: Benefits of Petri net models. London : ISTE, 2016. xii, 263 SeitenRVK: RVK: SK 830LOC classification:

QA267

Online resources:

Zugang im Netz des KIT

Summary: Intro -- 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.PPN: PPN: 883640007Package identifier: Produktsigel: ZDB-26-MYL | ZDB-30-PAD | ZDB-30-PQE | BSZ-30-PQE-K1DLR | BSZ-30-PQE-ULUB

Holdings ( 0 )

No physical items for this record