Cycle inclusion property of augmented marked graphs

DOI10.1016/J.IPL.2005.02.011zbMath1182.68137OpenAlexW2055883045MaRDI QIDQ1041766

K. S. Cheung, K. O. Chow

Publication date: 4 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.02.011

zbMATH Keywords

Petri netsformal methodssystem designaugmented marked graphscycle inclusion

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• New characterization for live and reversible augmented marked graphs
• On liveness in Extended Non Self-Controlling Nets
• Unnamed Item

This page was built for publication: Cycle inclusion property of augmented marked graphs