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

• 作者: 于庚 崔立真 王海洋
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 着色Petri网 工作流 着色跨组织工作流 合理性
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 建模与仿真理论及方法
• 页码范围: 782-785
• 页数: 4页
• 分类号: TP391
• 字数: 3494字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2005.04.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海洋	山东大学计算机科学与技术学院	83	999	16.0	28.0
2	崔立真	山东大学计算机科学与技术学院	35	525	11.0	22.0
3	于庚	山东大学计算机科学与技术学院	1	17	1.0	1.0