摘要：Van der Aalst定理的分析与合成过程模型是一个重要的结果。该论文通过用CP-子网压缩永久自由选择Petri网来证明该定理。使用基本方法研究所得到的T-系统。
作者：Joachim Wehler
论文ID：2109.10002
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中