About this book
Petri Nets are graphical and mathematical tool used in many different science domains. Their characteristic features are the intuitive graphical modeling language and advanced formal analysis method. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can be applied in modeling real-time systems.Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled ""Kommunikation mit Automaten" and published in 1962 by University of Bonn. During more than 40 years of development of this theory, many different classes were formed and the scope of applications was extended. Depending on particular needs, the net definition was changed and adjusted to the considered problem. The unusual "flexibility" of this theory makes it possible to introduce all these modifications. Owing to varied currently known net classes, it is relatively easy to find a proper class for the specific application. The present monograph shows the whole spectrum of Petri Nets applications, from classic applications (to which the theory is specially dedicated) like computer science and control systems, through fault diagnosis, manufacturing, power systems, traffic systems, transport and down to Web applications. At the same time, the publication describes the diversity of investigations performed with use of Petri Nets in science centers all over the world.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Petri Nets Applications
- Preface
- Contents
- 1. An Application of GSPN for Modeling and Evaluating Local Area Computer Networks
- 2. Architecture of Computer Intrusion Detection Based on Partially Ordered Events
- 3. Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets
- 4. Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and -calculus
- 5. Systolic Petri Nets
- 6. Towards Rewriting Semantics of Software Architecture Specification
- 7. Transfer-Resource Graph and Petri-net for System-on-Chip Verification
- 8. Using Petri nets for modeling and verification of Hybrid Systems
- 9. A new Control Synthesis Approach of P-Time Petri Nets
- 10. CL-MAC: Cross-layer MAC Protocol for Delay Sensitive Wireless Sensor Network Applications
- 11. Distributed Implementation of Petri nets in Control Applications
- 12. Hybrid state Petri nets which have the analysis power of stochastic hybrid systems and the formal verification power of automata
- 13. Reachability Analysis of Time-Critical Systems
- 14. Supervisory Control and High-level Petri nets
- 15. Using Petri Net for Modeling and Analysis of a Encryption Schemefor Wireless Sensor Networks
- 16. Diagnosability in Switched Linear Systems
- 17. Fault diagnosis for complex systems using Coloured Petri Nets
- 18. Modelling and Fault Diagnosis by means ofPetri Nets. Unmanned Aerial Vehicle Application
- 19. Design and Implementation of Hierarchical and Distributed Control for Robotic ManufacturingSystems using Petri Nets
- 20. Performance Evaluation of Distributed Systems:A Component-Based Modeling Approach basedon Object Oriented Petri Nets
- 21. Using Petri Nets to Model and Simulation Production Systems in Process Reengineering(case study)
- 22. Workflow Diagnosis Using Petri Net Charts
- 23. Evaluation of Power System Securitywith Petri Nets
- 24. Fault Diagnosis on Electric Power Systemsbased on Petri Net Approach1
- 25. GPenSIM: A New Petri Net Simulator
- 26. Assessing Risks in Critical Systems using Petri Nets
- 27. Modelling and Analysis of Traffic Light Control SystemsUsing Timed Coloured Petri nets
- 28. Traffic Network Control Basedon Hybrid System Modeling
- 29. Using Petri Nets in the analysis of sequentialautomata models with direct applications on thetransport systems with accumulation areas
- 30. An Approach Based in Petri Net for RequirementAnalysis
- 31- Intuitive Transformation of UML2 Activities intoFundamental Modeling Concept Petri Nets andColored Petri Nets
- 32. Multilevel Petri Nets for the Specification andDevelopment of Workflow Automation Systems
- 33. An Application of Petri Netsto e/m-Learning Environments
- 34. Petri nets-based Models for Web ServicesComposition*