New characterization for live and reversible augmented marked graphs

DOI10.1016/J.IPL.2004.05.018zbMath1173.68584OpenAlexW2011099883MaRDI QIDQ834954

K. S. Cheung

Publication date: 27 August 2009

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

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

zbMATH Keywords

manufacturing systemsPetri netssoftware designaugmented marked graphs

Mathematics Subject Classification ID

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

Related Items (1)

Cycle inclusion property of augmented marked graphs

Cites Work

• On liveness in Extended Non Self-Controlling Nets
• Unnamed Item

This page was built for publication: New characterization for live and reversible augmented marked graphs