论文研究-基于Pi演算的跨组织业务流程约简和死锁检测 .pdf

【文件属性】：

文件名称：论文研究-基于Pi演算的跨组织业务流程约简和死锁检测 .pdf

文件大小：391KB

文件格式：PDF

更新时间：2022-09-03 11:31:10

管理科学与工程

基于Pi演算的跨组织业务流程约简和死锁检测，叶鑫，邴兴华，死锁检测是跨组织业务流程分析的重要组成部分。由于Pi演算具有较强的代数推演能力，适合对跨组织业务流程建模与分析，本文以Pi演��