基于完整前缀展开的过渡邻接关系计算（技术报告）
摘要：通过展开技术系统地研究了利用过程模型从过渡相邻关系（TAR）进行高效推导的方法，以前该技术被用于处理Petri网的并发行为时解决状态空间爆炸问题。揭示并形式上描述了TAR和事件相邻关系（EAR）之间的等价关系，EAR是Petri网的完全前缀展开（CPU）中TAR的表现形式。通过使用此等价关系从CPU计算TAR，可以缓解并发引起的状态爆炸问题。此外，还将结构增强规则进行分类、证明并添加到TAR计算算法中。首次通过本文提供了基于CPU的TAR计算的正确性和普适性的形式证明，它们显著扩展了能够高效推导TAR的Petri网范围。在工业和合成的过程模型上进行的实验表明了所提出的基于CPU的算法的有效性，并观察到它们能够随着业务过程模型的规模和并发性的增加而扩展。
作者：Jisheng Pei, Lijie Wen, Akhil Kumar, Xiaojun Ye
论文ID：1512.00428
分类：Other Computer Science
分类简称：cs.OH
提交时间：2020-03-11