Description |
1 online resource (xiv, 150 pages) : illustrations |
Contents |
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 |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed July 3, 2014) |
|
Print version record |
Subject |
Petri nets.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Information Theory.
|
|
MATHEMATICS -- General.
|
|
Petri nets
|
Form |
Electronic book
|
ISBN |
9783319064284 |
|
3319064282 |
|
3319064274 |
|
9783319064277 |
|