ω-Petri Nets: Algorithms and Complexity

DOI10.3233/FI-2015-1169zbMath1335.68172OpenAlexW1494176671MaRDI QIDQ2805418

Gilles Geeraerts, M. Praveen, Alexander Heußner, Jean-François Raskin

Publication date: 11 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1169

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: ω-Petri Nets: Algorithms and Complexity