Cheung K. Augmented Marked Graphs 2014

Download Download Torrent Opens in your torrent client (e.g. qBittorrent)
Category Other
Size0.00 kB
Added1 year ago (2025-03-10 23:38:08)
Health
Dead0/4
Info HashF0105EC50160C417D2CEDC8AE133F4B793AE1C7A
Peers Updated10 hours ago (2026-03-27 09:07:33)

Report Torrent

0 / 300

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

×