Augmented Marked Graphs (eBook)
XIV, 150 Seiten
Springer International Publishing (Verlag)
978-3-319-06428-4 (ISBN)
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.
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.
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.
Erscheint lt. Verlag | 26.6.2014 |
---|---|
Zusatzinfo | XIV, 150 p. 82 illus. |
Verlagsort | Cham |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik |
Schlagworte | Augmented marked graphs • Concurrent Processes • modelling and analysis • Petri Nets • System integration |
ISBN-10 | 3-319-06428-2 / 3319064282 |
ISBN-13 | 978-3-319-06428-4 / 9783319064284 |
Haben Sie eine Frage zum Produkt? |
Größe: 4,8 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich