Ebook: Systems dependability assessment
Author: Aubry Jean-Francois
- Tags: Petri nets, System analysis, System design, Electronic books
- Year: 2016
- Publisher: Iste Ltd
- Language: English
- pdf
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.
Download the book Systems dependability assessment for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)