ω-Petri Nets

DOI10.1007/978-3-642-38697-8_4zbMath1381.68202arXiv1301.6572OpenAlexW11785674MaRDI QIDQ5300865

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

Publication date: 28 June 2013

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

Full work available at URL: https://arxiv.org/abs/1301.6572

Mathematics Subject Classification ID

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

Related Items (3)

Handling infinitely branching well-structured transition systems ⋮ Dynamic Networks of Timed Petri Nets ⋮ Petri nets with name creation for transient secure association

This page was built for publication: ω-Petri Nets