Augmented Marked Graphs

• Κύριος συγγραφέας: Cheung, King Sing (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.