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

【Abstract】 Petri net is one of the widely used modeling techniques of workflow. Interorganizational Workflows apply themselves to re-shape business processes beyond the boundaries of individual organizations. A Interorganizational workflows model based on colored Petri net is introduced, and its soundness properties are formalized and analyzed. In addition, some issues can be served as guidelines in other extensions of modeling interorganizational workflows.更多还原