Sale!

Petri Net Theory and applications 1st Edition by Vedran Kordic ISBN 3902613122 9783902613127

Original price was: $50.00.Current price is: $35.00.

Petri Net Theory and applications Kordic V. Digital Instant Download

Author(s): Kordic V.
ISBN(s): 9783902613127, 3902613122
Edition: I-Tech
File Details: PDF, 9.70 MB
Year: 2008
Language: english
SKU: EB-1005820 Category: Tag:

Petri Net Theory and applications 1st Edition by Vedran Kordic – Ebook PDF Instant Download/Delivery: 3902613122, 9783902613127

Full download Petri Net Theory and applications 1st Edition after payment

 

Product details:

ISBN 10: 3902613122

ISBN 13: 9783902613127 

Author: Vedran Kordic 

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.

Table of contents:

  1. Petri Net Transformations

  2. Modelling and Analysis of Real-Time Systems with RTCP-Nets

  3. Petri Net Based Modelling of Communication in Systems on Chip

  4. An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service

  5. Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains

  6. Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets

  7. Use of Petri Nets for Modeling an Agent-Based Interactive System: Basic Principles and Case Study

  8. On the Use of Queueing Petri Nets for Modeling and Performance Analysis of Distributed Systems

  9. Model Checking of Time Petri Nets

  10. A Linear Logic Based Approach to Timed Petri Nets

  11. From Time Petri Nets to Timed Automata

  12. Timed Hierarchical Object-Oriented Petri Net

  13. Scheduling Analysis of FMS Using the Unfolding Time Petri Nets

  14. Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach

  15. Estimation of Mean Response Time of Multi—Agent Systems Using Petri Nets

  16. Diagnosis of Discrete Event Systems with Petri Nets

  17. Augmented Marked Graphs and the Analysis of Shared Resource Systems

  18. Incremental Integer Linear Programming Models for Petri Nets Reachability Problems

  19. Using Transition Invariants for Reachability Analysis of Petri Nets

  20. Reliability Prediction and Sensitivity Analysis of Web Services Composition

  21. Petri Nets for Component-Based Software Systems Development

  22. Formalizing and Validating UML Architecture Description of Service-Oriented Applications

  23. Music Description and Processing: An Approach Based on Petri Nets and XML

People also search for:

    
petri net example
    
petri nets explained
    
petri net analysis
    
petri net model example
    
petri net tutorial
    
petri net diagram

Tags: Vedran Kordic, Petri Net, Theory, Applications