跨组织工作流模型的形式化描述及分析

作者：崔立真; 王海洋; 于庚着色petri网工作流着色跨组织工作流合理性

摘要：Petri网是当前工作流建模中广泛采用的工具之一.跨组织工作流致力于跨越组织界限的业务重组.针对多个组织间复杂的交互过程,提出基于着色Petri网的跨组织工作流模型的形式化描述,并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析,最后举例说明.另外,一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社