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

【文件属性】：
文件名称：论文研究-基于Pi演算的跨组织业务流程约简和死锁检测 .pdf
文件大小：391KB
文件格式：PDF
更新时间：2022-09-03 11:31:10
管理科学与工程 基于Pi演算的跨组织业务流程约简和死锁检测，叶鑫，邴兴华，死锁检测是跨组织业务流程分析的重要组成部分。由于Pi演算具有较强的代数推演能力，适合对跨组织业务流程建模与分析，本文以Pi演��