精炼工作流网的行为保持性质

• 作者: 丁志军 潘美芹 蒋昌俊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 工作流 Petri网 精炼 网语言
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 125-128
• 页数: 4页
• 分类号: TP3
• 字数: 5549字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.05.035

摘要

本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质.结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致.在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画.本文结果有助于复杂工作流的设计、建模和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与技术系	93	1492	18.0	36.0
2	丁志军	同济大学计算机科学与技术系	37	329	8.0	17.0
6	潘美芹	山东科技大学信息科学与工程学院	11	31	3.0	5.0