Augmented Marked Graphs
Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
| Author: | King Sing Cheung | ISBN: | 9783319064284 |
| Publisher: | Springer International Publishing | Publication: | June 26, 2014 |
| Imprint: | Springer | Language: | English |
| Author: | King Sing Cheung |
| ISBN: | 9783319064284 |
| Publisher: | Springer International Publishing |
| Publication: | June 26, 2014 |
| Imprint: | Springer |
| Language: | English |
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.
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.
