Augmented marked graphs

DOI10.1007/978-3-319-06428-4MaRDI QIDQ5169795zbMATH OpenOpenAlexFDO

Authors K. S. Cheung

Publication date 11 July 2014

Full work available at URL https://doi.org/10.1007/978-3-319-06428-4

zbMATH Keywords

augmented marked graphPetri netssystem design

Mathematics Subject Classification ID

Applications of graph theory (05C90) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 5762567
• Petri nets. Theoretical models and analysis methods for concurrent systems
• Augmented marked graphs
• Understanding Petri Nets
• scientific article; zbMATH DE number 1646978

Cited in

(2)

• Augmented marked graphs
• Boundedness and conservativeness of augmented marked graphs

This page was built for publication: Augmented marked graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5169795)