Cheung K. Augmented Marked Graphs 2014
Download Torrent
Opens in your torrent client (e.g. qBittorrent)
Health
Dead0/4
Info HashF0105EC50160C417D2CEDC8AE133F4B793AE1C7A
Peers Updated10 hours ago (2026-03-27 09:07:33)
Description
Textbook in PDF format
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.
Basic Concepts
Introduction
Petri Nets
Theory of Augmented Marked Graphs
Augmented Marked Graphs
Proper Augmented Marked Graphs
Composition of Augmented Marked Graphs
The Dining Philosophers Problem
Application to System Integration
Component-Based System Integration
Manufacturing System Integration
Conclusion
Appendices. Summary of Theoretical Results