Augmented Marked Graphs

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Cheung, King Sing (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Subjects:
Computer science.
Software engineering.
Theory of Computation.
Software Engineering.
Online Access:Texto Completo
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.

Similar Items