Although many other models of concurrent and distributed systems have been developed 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.
Book Description
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.
Table of Contents
- Petri Net Transformations
- Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach
- Estimation of Mean Response Time of Multi—Agent Systems Using Petri Nets
- Diagnosis of Discrete Event Systems with Petri Nets
- Augmented Marked Graphs and the Analysis of Shared Resource Systems
- Incremental Integer Linear Programming Models for Petri Nets Reachability Problems
- Using Transition Invariants for Reachability Analysis of Petri Nets
- Reliability Prediction and Sensitivity Analysis of Web Services Composition
- Petri Nets for Component-Based Software Systems Development
- Formalizing and Validating UML Architecture Description of Service-Oriented Applications
- Scheduling Analysis of FMS Using the Unfolding Time Petri Nets
- Timed Hierarchical Object-Oriented Petri Net
- From Time Petri Nets to Timed Automata
- Modelling and Analysis of Real-Time Systems with RTCP-Nets
- Petri Net Based Modelling of Communication in Systems on Chip
- An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service
- Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains
- Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets
- Use of Petri Nets for Modeling an Agent-Based Interactive System: Basic Principles and Case Study
- On the Use of Queueing Petri Nets for Modeling and Performance Analysis of Distributed Systems
- Model Checking of Time Petri Nets
- A Linear Logic Based Approach to Timed Petri Nets
- Music Description and Processing: An Approach Based on Petri Nets and XML
Download Free PDF / Read Online
Format(s): PDF
File size: 9.19 MB
Number of pages: 534
Link: Download or read online.