Augmented Marked Graphs

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
Cover of the book Augmented Marked Graphs by King Sing Cheung, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Excursions in Harmonic Analysis, Volume 4 by King Sing Cheung
Cover of the book Corrosion Problems and Solutions in Oil Refining and Petrochemical Industry by King Sing Cheung
Cover of the book The Real and the Complex: A History of Analysis in the 19th Century by King Sing Cheung
Cover of the book Surgical Tools and Medical Devices by King Sing Cheung
Cover of the book Inside Company Valuation by King Sing Cheung
Cover of the book Ethics of Information and Communication Technologies by King Sing Cheung
Cover of the book Current Common Dilemmas in Colorectal Surgery by King Sing Cheung
Cover of the book Drought Stress Tolerance in Plants, Vol 2 by King Sing Cheung
Cover of the book Interferometry with Interacting Bose-Einstein Condensates in a Double-Well Potential by King Sing Cheung
Cover of the book Laboratory Hemostasis by King Sing Cheung
Cover of the book Imaging of Complications and Toxicity following Tumor Therapy by King Sing Cheung
Cover of the book Linear Dynamical Quantum Systems by King Sing Cheung
Cover of the book The Value of Popular Music by King Sing Cheung
Cover of the book Fifty Years of the British Indian Ocean Territory by King Sing Cheung
Cover of the book Artificial Vision by King Sing Cheung
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy