Timed Petri Nets
Theory and Application
Published on 29. October 2012
Book
Paperback/Softback
XI, 281 pages
978-1-4613-7531-9 (ISBN)
Description
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.
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.
More details
Series
Edition
Softcover reprint of the original 1st ed. 1998
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Illustrations
XI, 281 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 17 mm
Weight
452 gr
ISBN-13
978-1-4613-7531-9 (9781461375319)
DOI
10.1007/978-1-4615-5537-7
Schweitzer Classification
Other editions
Additional editions
E-Book
12/2012
Springer
€213.99
Available for download
Book
10/1998
Kluwer Academic Publishers
€213.99
Shipment within 15-20 days
Content
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.