ENGLISH

Augmented Marked Graphs

By King Sing Cheung (auth.)

Book information

Publisher
Springer International Publishing
Year
2014
ISBN
978-3-319-06427-7, 978-3-319-06428-4
DOI
10.1007/978-3-319-06428-4
Language
english
Format
PDF
Filesize
5 MB (4853341 bytes)
Edition
1
Pages
150\157
Time added
2014-11-10 20:00:00
Theory of Computation; Software Engineering/Progra

Description

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.

Similar books