1 option
Augmented Marked Graphs / by King Sing Cheung.
- Format:
- Book
- Author/Creator:
- Cheung, King Sing, author.
- Series:
- Computer Science (Springer-11645)
- Language:
- English
- Subjects (All):
- Computers.
- Software engineering.
- Theory of Computation.
- Software Engineering/Programming and Operating Systems.
- Local Subjects:
- Theory of Computation.
- Software Engineering/Programming and Operating Systems.
- Physical Description:
- 1 online resource (XIV, 150 pages) : 82 illustrations
- Edition:
- First edition 2014.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2014.
- System Details:
- text file PDF
- 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.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-06428-4
- 9783319064284
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.