Augmented Marked Graphs

• Main Author: Cheung, King Sing (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Subjects: Computer science.; Software engineering.; Computers.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.

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. This monograph...

Table of Contents:

• Introduction
• Petri Nets
• Augmented Marked Graphs
• Proper Augmented Marked Graphs
• Composition of Augmented Marked Graphs
• Modelling and Analysis
• Component-Based System Integration
• Manufacturing System Integration
• Conclusion
• App. A, Properties of Augmented Marked Graphs
• App. B, Algorithms for Checking the Properties of Augmented Marked Graphs
• Index References.