Properties of Plain, Pure, and Safe Petri Nets

DOI10.1007/978-3-662-55862-1_1zbMath1464.68227OpenAlexW2756431890MaRDI QIDQ4994075

Valentin Spreckels, Uli Schlachter, Kamila Barylska, Eike Best

Publication date: 14 June 2021

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-55862-1_1

zbMATH Keywords

Petri netslabelled transition systemsmarked graphs

Mathematics Subject Classification ID

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

Related Items (1)

Target-oriented Petri Net Synthesis

This page was built for publication: Properties of Plain, Pure, and Safe Petri Nets