Augmented Marked Graphs
| Format | Electronic |
| Publication Info | Berlin : Springer La Vergne : MyiLibrary [Distributor] |
| Description | 157 p. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2014 English International |
| Supplemental Content | Full text available from Springer Books |
| Summary | Annotation 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9781322135410 |
| ISBN | 132213541X (E-Book) Active Record |
| Standard identifier# | 9781322135410 |
| Stock number | 00142095 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |