Augmented Marked Graphs

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 of Mathematics and Its Applications (UK), the Institution of Engineering and Technology (UK) and the Hong Kong Institution of Engineers. His main research interests and publications are in the fields of Petri nets and component-based system design.

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.

From the book reviews:

"It's an adequate book for a graduate course on the modeling and analysis of discrete event systems. Readers do not need a mathematical background. It's not difficult to read because the formal aspects introduced are not very complex and are accompanied by many examples. Furthermore, the theoretical results are applied to real systems, which is very strong motivation for students." (Jose Carlos Moreno Ubeda, Computing Reviews, January, 2015)