Labeled Step Sequences in Petri Nets

DOI10.1007/978-3-540-68746-7_19zbMath1143.68487OpenAlexW1489534506MaRDI QIDQ3510872

Georg Zetzsche, Matthias Jantzen

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_19

Mathematics Subject Classification ID

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

Related Items (1)

Catalytic and communicating Petri nets are Turing complete

This page was built for publication: Labeled Step Sequences in Petri Nets