DOI10.1016/j.ipl.2008.04.012zbMath1191.68440OpenAlexW1977547520MaRDI QIDQ975419
Li Jiao
Publication date: 9 June 2010 Published in: Information Processing Letters (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.ipl.2008.04.012
zbMATH Keywords
formal methodsstate machinestrapsiphonregular Petri nets
Mathematics Subject Classification ID
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work