Augmented Marked Graphs by King Sing CheungAugmented Marked Graphs by King Sing Cheung

Augmented Marked Graphs

byKing Sing Cheung

Paperback | September 10, 2016

Pricing and Purchase Info

$135.45 online 
$150.50 list price save 10%
Earn 677 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.

Dr. King Sing Cheung has been the Head of Information Technology at the Open University of Hong Kong since 2010. He holds a PhD in Computer Science from the City University of Hong Kong, and a Master's in Public Administration from the University of Hong Kong. He is a Fellow of the Chartered Management Institute (UK), the Institution o...
Title:Augmented Marked GraphsFormat:PaperbackDimensions:150 pages, 23.5 × 15.5 × 0.17 inPublished:September 10, 2016Publisher:Springer NatureLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319357603

ISBN - 13:9783319357607

Look for similar items by category:


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.