King Sing Cheung
Springer International Publishing
2014e druk, 2014
9783319064277
Augmented Marked Graphs
Specificaties
Gebonden, 150 blz.
|
Engels
Springer International Publishing |
2014e druk, 2014
ISBN13: 9783319064277
Rubricering
Verwachte levertijd ongeveer 9 werkdagen
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:9783319064277
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:150
Uitgever:Springer International Publishing
Druk:2014
Hoofdrubriek:Automatisering algemeen, Computer en informatica
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.