Timed Petri Nets

Theory and Application
1998
ISBN: 978-0-7923-8270-6
Verlag: Springer US

Buch, Englisch, Band 9, 281 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 1320 g

Reihe: The International Series on Discrete Event Dynamic Systems

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools.

The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors.

This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets.

Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Zielgruppe

Research

Fachgebiete

• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
• Mathematik | Informatik Mathematik Stochastik Wahrscheinlichkeitsrechnung
• Mathematik | Informatik EDV | Informatik Informatik
• Mathematik | Informatik Mathematik Stochastik Mathematische Statistik
• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
• Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
• Mathematik | Informatik Mathematik Mathematische Analysis Variationsrechnung
• Mathematik | Informatik Mathematik Operations Research Spieltheorie
• Wirtschaftswissenschaften Volkswirtschaftslehre Volkswirtschaftslehre Allgemein Ökonometrie
• Wirtschaftswissenschaften Betriebswirtschaft Wirtschaftsmathematik und -statistik

Inhaltsverzeichnis

1 Introduction.- 1.1 Discrete Event Dynamic Systems.- 1.2 Performance Models for Discrete Event Dynamic Systems.- 1.3 Timed Petri Nets: A Powerful Tool.- 2 Petri Nets.- 2.1 Preliminary Definitions.- 2.2 Transition Firing.- 2.3 Representational Power.- 2.4 Properties of Petri Nets.- 2.5 Analysis of Petri Nets.- 3 Deterministic Timed Petri Nets.- 3.1 Deterministic Timed Transitions Petri Nets.- 3.2 Performance Analysis.- 3.3 Other Types of Deterministic Timed Petri Nets.- 4 Time Petri Nets.- 4.1 Time Petri Nets.- 4.2 An Enumerative Method for Analysis of Time Petri Nets.- 4.3 Reduction of Time Petri Nets.- 4.4 Compositional Time Petri Net Models.- 4.5 Applications of Compositional Time Petri Net Models.- 5 Stochastic Timed Petri Nets and Stochastic Petri Nets.- 5.1 Stochastic Timed Petri Nets.- 5.2 Continuous Time Markov Chains.- 5.3 Queuing Networks.- 5.4 Stochastic Petri Nets.- 5.5 Production Form Solution for Stochastic Petri Nets.- 6 Generalized Stochastic Petri Nets.- 6.1 Generalized Stochastic Petri Nets.- 6.2 Analysis of Generalized Stochastic Petri Nets.- 6.3 Aggregation of Generalized Stochastic Petri Nets.- 6.4 Time-Scale Decomposition of Generalized Stochastic Petri Nets.- 6.5 Generalized Stochastic Petri Net Model of Ethernet.- 7 High-Level Stochastic Petri Nets.- 7.1 Colored Stochastic Petri Nets.- 7.2 Stochastic High-Level Petri Nets.- 8 Semi-Markovian Stochastic Petri Nets.- 8.1 Extended Stochastic Petri Nets.- 8.2 Analysis of Extended Stochastic Petri Nets Based on Moment Generating Functions.- 8.3 Petri Nets with Deterministic and Exponential Firing Times.- 9 Arbitrary Stochastic Petri Nets.- 9.1 Arbitrary Stochastic Petri Nets and Hybrid State Probability Density Functions.- 9.2 Hybrid State Probability Densities of Acyclic Arbitrary Stochastic Petri Nets.- 9.3 Time Delay Analysis of Arbitrary Stochastic Petri Nets.