ebook img

Systems dependability assessment PDF

204 Pages·2016·4.7 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Systems dependability assessment

Description:
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.
See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.