Petri net languages revisited

DOI10.1016/J.TCS.2011.12.043zbMath1247.68190OpenAlexW2029659892MaRDI QIDQ418794

Antoni Mazurkiewicz

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.043

zbMATH Keywords

reachabilitycompositionalitycontext-free languagecommutativityatomic netscommutative languagesconcurrent systemPetri net behaviourPetri net languagessequential behaviour

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item

This page was built for publication: Petri net languages revisited