Augmented marked graphs

King Sing Cheung

doi:10.1007/978-3-319-06428-4

Augmented marked graphs

King Sing Cheung

Information Technology Office

Research output: Book/Report › Book › peer-review

3 Citations (Scopus)

Abstract

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.

Original language	English
Number of pages	150
Volume	9783319064284
ISBN (Electronic)	9783319064284
DOIs	https://doi.org/10.1007/978-3-319-06428-4
Publication status	Published - 1 Mar 2014

Access to Document

10.1007/978-3-319-06428-4

Cite this

@book{45ca1545d9e54085b10f64611be82148,

title = "Augmented marked graphs",

abstract = "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.",

author = "Cheung, {King Sing}",

note = "Publisher Copyright: {\textcopyright} 2014 Springer International Publishing Switzerland. All rights are reserved.",

year = "2014",

month = mar,

day = "1",

doi = "10.1007/978-3-319-06428-4",

language = "English",

isbn = "3319064274",

volume = "9783319064284",

}

TY - BOOK

T1 - Augmented marked graphs

AU - Cheung, King Sing

PY - 2014/3/1

Y1 - 2014/3/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84930852945&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-06428-4

DO - 10.1007/978-3-319-06428-4

M3 - Book

AN - SCOPUS:84930852945

SN - 3319064274

SN - 9783319064277

VL - 9783319064284

BT - Augmented marked graphs

ER -

Augmented marked graphs

Abstract

Access to Document

Other files and links

Fingerprint

Cite this