A programming language for spatial distribution of net systems. Petri nets famously expose concurrency directly in their statespace. Building on the work on the compositional algebra of nets with boundaries, we show how an algebraic decomposition allows one to expose both concurrency and spatial distribution in the statespace.par Concretely, we introduce a high-level domain specific language (DSL), PNBml, for the construction of nets in terms of their components. We use PNBml to express several well-known parametric examples.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio: Confluence of graph rewriting with interfaces (2017)
- Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio: Lawvere categories as composed props (2016)
- Sobociński, Paweł; Stephens, Owen: A programming language for spatial distribution of net systems (2014)