Cheung K. Augmented Marked Graphs 2014 torrent

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