𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

The book on Petri nets : modeling, analysis, case studies

✍ Scribed by Wolfgang Reisig

Publisher
Springer
Year
2013
Tongue
English
Leaves
236
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


Content: 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.

✦ Subjects

ΠžΠ±Ρ‰Π΅ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ дисциплины;ΠœΠΎΠ΄Π΅Π»ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅;Π‘Π΅Ρ‚ΠΈ ΠŸΠ΅Ρ‚Ρ€ΠΈ;

πŸ“œ SIMILAR VOLUMES

Understanding Petri Nets: Modeling Techn
πŸ“ Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
✍ Wolfgang Reisig (auth.) πŸ“‚ Library πŸ“… 2013 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>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 theoretic

Lectures on Petri Nets I: Basic Models:
πŸ“ Lectures on Petri Nets I: Basic Models: Advances in Petri Nets
✍ W. Reisigs, G. Rozenberg (auth.), Wolfgang Reisig, Grzegorz Rozenberg (eds.) πŸ“‚ Library πŸ“… 1998 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. <BR>Together with its companion v

Dynamic Analysis of Petri Net-Based Disc
πŸ“ Dynamic Analysis of Petri Net-Based Discrete Systems
✍ Dr. Andrei Karatkevich (auth.) πŸ“‚ Library πŸ“… 2007 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the