Augmented Marked Graphs
Autor King Sing Cheungen Limba Engleză Hardback – 11 iul 2014
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.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 301.80 lei 38-44 zile | |
Springer International Publishing – 10 sep 2016 | 301.80 lei 38-44 zile | |
Hardback (1) | 313.22 lei 38-44 zile | |
Springer International Publishing – 11 iul 2014 | 313.22 lei 38-44 zile |
Preț: 313.22 lei
Preț vechi: 391.51 lei
-20% Nou
Puncte Express: 470
Preț estimativ în valută:
59.98€ • 64.88$ • 49.98£
59.98€ • 64.88$ • 49.98£
Carte tipărită la comandă
Livrare economică 07-13 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319064277
ISBN-10: 3319064274
Pagini: 164
Ilustrații: XIV, 150 p. 82 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2014
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3319064274
Pagini: 164
Ilustrații: XIV, 150 p. 82 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2014
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland
Public țintă
ResearchCuprins
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.
Recenzii
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)
“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)
Notă biografică
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.
Textul de pe ultima copertă
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.
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.
Caracteristici
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