On conditions for the liveness of weakly persistent nets

DOI10.1016/J.IPL.2009.05.008zbMATH Open1202.68265OpenAlexW1986130886MaRDI QIDQ989543

GuanJun Liu, Changjun Jiang

Publication date: 20 August 2010

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

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

zbMATH Keywords

livenessformal methodsasymmetric choice netsintrinsically fair netsweakly persistent nets

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On weak persistency of Petri nets
• On structural conditions for weak persistency and semilinearity of Petri nets
• Free Choice Petri Nets

This page was built for publication: On conditions for the liveness of weakly persistent nets

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