Boundedness and conservativeness of augmented marked graphs

DOI10.1093/IMAMCI/DNL019MaRDI QIDQ5294132zbMATH OpenOpenAlexFDO

Authors K. S. Cheung

Publication date 23 July 2007

Published in IMA Journal of Mathematical Control and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/imamci/dnl019

zbMATH Keywords

augmented marked graphsboundednessconservativenessPetri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Augmented marked graphs
• Augmented marked graphs
• Some further properties of consistent marked graphs
• Characterisation of the state spaces of marked graph Petri nets
• Sufficient conditions for the marked graph realisability of labelled transition systems

Cited in

(2)

• scientific article; zbMATH DE number 5995086 (Why is no real title available?)
• Augmented marked graphs

This page was built for publication: Boundedness and conservativeness of augmented marked graphs

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