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. 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. © 2014 Springer International Publishing.
CITATION STYLE
Sobociński, P., & Stephens, O. (2014). A programming language for spatial distribution of net systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8489 LNCS, pp. 150–169). Springer Verlag. https://doi.org/10.1007/978-3-319-07734-5_9
Mendeley helps you to discover research relevant for your work.