Augmented Marked Graphs
tarafından
Cheung, King Sing. author.
Başlık
:
Augmented Marked Graphs
Yazar
:
Cheung, King Sing. author.
ISBN
:
9783319064284
Yazar
:
Cheung, King Sing. author.
Fiziksel Niteleme
:
XIV, 150 p. 82 illus. online resource.
İçindekiler
:
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.
Özet
:
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.
Konu Başlığı
:
Computer science.
Software engineering.
Computers.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 20823-1001 | QA75.5 -76.95 | Springer E-Book Collection |