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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Cheung, King Sing (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Temas:
Computer science.
Software engineering.
Theory of Computation.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares