Augmented Marked Graphs
Buch in deiner Nähe kaufen
Beschreibung
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.
Self-contained comprehensive description of the theoretical aspects of augmented marked graphs Strong focus on application for component-based systems design Addresses design issues for systems involving distributed components, concurrent processes and shared resources
Autor*in
King Sing Cheung
Themen in »Augmented Marked Graphs«
Augmented marked graphs Concurrent processes Modelling and analysis Petri nets System integration
Stimmen zu »Augmented Marked Graphs«
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)
()