Augmented Marked Graphs

Name: Augmented Marked Graphs
Author: King Sing Cheung

Specificaties

Paperback, blz. | Engels

Springer International Publishing | e druk, 2016

ISBN13: 9783319357607

Rubricering

Juridisch :

Springer International Publishing e druk, 2016 9783319357607

€ 60,99

In winkelwagen

Levertijd ongeveer 9 werkdagen

Gratis verzonden

Samenvatting

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 consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first self-contained volume on augmented marked graphs, and will be useful to both researchers and practitioners in the fields of Petri nets and system integration.

Specificaties

ISBN13:9783319357607

Taal:Engels

Bindwijze:paperback

Uitgever:Springer International Publishing

Inhoudsopgave

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.

Uw winkelwagen

Augmented Marked Graphs

Samenvatting

Specificaties

Inhoudsopgave

Net verschenen

Rubrieken

Personen

Trefwoorden