论文研究基于Pi演算的跨组织业务流程约简和死锁检测 .pdf 上传者：宛陵秋 2020-02-09 16:40:57上传 PDF文件 391.19KB 热度 38次 基于Pi演算的跨组织业务流程约简和死锁检测，叶鑫，邴兴华，死锁检测是跨组织业务流程分析的重要组成部分。由于Pi演算具有较强的代数推演能力，适合对跨组织业务流程建模与分析，本文以Pi演�� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
