迈向网展开的统一方法
计算机科学中的逻辑
2018-10-19 v1 分布式、并行与集群计算
摘要
本文引入扩展网（spread net）的概念。扩展网是配备了位置上的向量时钟与变迁上的滴答函数的（安全）Petri 网，且向量时钟与变迁的滴答保持一致。此类网推广了以往的网族如展开（unfoldings）、合并进程（merged processes）与网格进程（trellis processes），因此可通过一种称为网扩展（spreading）的操作以真并发语义表示网的运行。与以往可能识别冲突的构造不同，扩展网允许时间上的环路。
引用
@article{arxiv.1810.08038,
title = {Toward a Uniform Approach to the Unfolding of Nets},
author = {Eric Fabre and G. Michele Pinna},
journal= {arXiv preprint arXiv:1810.08038},
year = {2018}
}
备注
In Proceedings ICE 2018, arXiv:1810.02053