A Programming Language for Spatial Distribution of Net Systems
A Programming Language for Spatial Distribution of Net Systems
复制标题
网络系统空间分布的编程语言
DOI：
10.1007/978-3-319-07734-5_9
复制
发表时间：
2014
期刊：
影响因子：
8
通讯作者：
O. Stephens
中科院分区：
文献类型：
--
作者：
P. Sobocinski;O. Stephens
众所周知，Petri网在其状态空间中直接公开并发性。在对具有边界的网的合成代数的工作的基础上，我们展示了代数分解如何允许人们同时公开状态空间中的并发和空间分布。
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.