To purchase hard copies of this book, please email:
orders@intechopen.com
By only printing on demand InTech ensures our carbon footprint is kept to a minimum.
The data below shows the environmental impact of printing one single book:
77.06 kg wood
4.14 g CO2
69.96 ml Water
Share this page
Petri Net, Theory and Applications
Edited by Vedran Kordic, ISBN 978-3-902613-12-7, Hard cover, 534 pages, Publisher: I-Tech Education and Publishing, Published: February 01, 2008 under CC BY-NC-SA 3.0 license, in subject Artificial Intelligence
DOI: 10.5772/56
Although many other models of concurrent and distributed systems have been de- veloped since the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both the theory and the applications. The main attraction of Petri nets is the way in which the basic aspects of concurrent systems are captured both conceptually and mathematically. The intuitively appealing graphical notation makes Petri nets the model of choice in many applications. The natural way in which Petri nets allow one to formally capture many of the basic notions and issues of concurrent systems has contributed greatly to the development of a rich theory of concurrent systems based on Petri nets. This book brings together reputable researchers from all over the world in order to provide a comprehensive coverage of advanced and modern topics not yet reflected by other books. The book consists of 23 chapters written by 53 authors from 12 different countries.
This book is indexed in:
Book contents
- Chapter 1Petri Net Transformations
- Chapter 2Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach
- Chapter 3Estimation of Mean Response Time of MultiAgent Systems Using Petri Nets
- Chapter 4Diagnosis of Discrete Event Systems with Petri Nets
- Chapter 5Augmented Marked Graphs and the Analysis of Shared Resource Systems
- Chapter 6Incremental Integer Linear Programming Models for Petri Nets Reachability Problems
- Chapter 7Using Transition Invariants for Reachability Analysis of Petri Nets
- Chapter 8Reliability Prediction and Sensitivity Analysis of Web Services Composition
- Chapter 9Petri Nets for Component-Based Software Systems Development
- Chapter 10Formalizing and Validating UML Architecture Description of Service-Oriented Applications
- Chapter 11Scheduling Analysis of FMS Using the Unfolding Time Petri Nets
- Chapter 12Timed Hierarchical Object-Oriented Petri Net
- Chapter 13From Time Petri Nets to Timed Automata
- Chapter 14Modelling and Analysis of Real-Time Systems with RTCP-Nets
- Chapter 15Petri Net Based Modelling of Communication in Systems on Chip
- Chapter 16An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service
- Chapter 17Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains
- Chapter 18Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets
- Chapter 19Use of Petri Nets for Modeling an Agent-Based Interactive System: Basic Principles and Case Study
- Chapter 20On the Use of Queueing Petri Nets for Modeling and Performance Analysis of Distributed Systems
- Chapter 21Model Checking of Time Petri Nets
- Chapter 22A Linear Logic Based Approach to Timed Petri Nets
- Chapter 23Music Description and Processing: An Approach Based on Petri Nets and XML
