Cargando…
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical pri...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Part I Modeling Techniques
- Chap. 1 An Example
- Chap. 2 The Basic Concepts
- Chap. 3 Common Special Case: Elementary System Nets
- Chap. 4 Sequential and Distributed Runs
- Chap. 5 Scenarios
- Chap. 6 Further Notation for Elementary System Nets
- Chap. 7 The Synthesis Problem
- Chap. 8 Composition of Nets
- Part II Analysis Methods
- Chap. 9 State Properties
- Chap. 10 Traps and Co-traps of Elementary System Nets
- Chap. 11 Place Invariants of Elementary System Nets
- Chap. 12 Combining Traps and Place Invariants of Elementary System Nets
- Chap. 13 Traps and Place Invariants of Generic System Nets
- Chap. 14 Marking and Covering Graphs
- Chap. 15 Reachability in Elementary System Nets
- Chap. 16 Run Properties
- Chap. 17 Free-Choice Nets
- Chap. 18 Marked Graphs
- Chap. 19 Well-Formed System Nets
- Part III Case Studies
- Chap. 20 Mutual Exclusion
- Chap. 21 Asynchronous Hardware.