Unifying the Semantics of Modular Extensions of Petri Nets

DOI10.1007/978-3-642-38697-8_19zbMath1381.68212OpenAlexW45922455MaRDI QIDQ5300881

Didier Buchs, Alexis Marechal

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://doi.org/10.1007/978-3-642-38697-8_19

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Unifying the Semantics of Modular Extensions of Petri Nets