Timed Petri Nets

Timed Petri Nets
Author :
Publisher : Springer Science & Business Media
Total Pages : 286
Release :
ISBN-10 : 9781461555377
ISBN-13 : 146155537X
Rating : 4/5 (37X Downloads)

Book Synopsis Timed Petri Nets by : Jiacun Wang

Download or read book Timed Petri Nets written by Jiacun Wang and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Timed Petri Nets Related Books

Timed Petri Nets
Language: en
Pages: 286
Authors: Jiacun Wang
Categories: Science
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event
Discrete, Continuous, and Hybrid Petri Nets
Language: en
Pages: 568
Authors: René David
Categories: Technology & Engineering
Type: BOOK - Published: 2010-11-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in au
Advances in Verification of Time Petri Nets and Timed Automata
Language: en
Pages: 279
Authors: Wojciech Penczek
Categories: Technology & Engineering
Type: BOOK - Published: 2007-03-06 - Publisher: Springer

DOWNLOAD EBOOK

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time
High-level Petri Nets
Language: en
Pages: 0
Authors: Kurt Jensen
Categories: Computers
Type: BOOK - Published: 1991-07-31 - Publisher: Springer

DOWNLOAD EBOOK

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this cl
Petri Nets
Language: en
Pages: 0
Authors: Michel Diaz
Categories: Electronic data processing
Type: BOOK - Published: 2007-07 - Publisher: Iste Publishing Company

DOWNLOAD EBOOK

This book presents the definition, validation and application of a selected set of Petri nets. It first introduces the basic models including time and stochasti