基于petri网系统规约的工作流建模验证

• 作者: 乔佩利 杨波涛
• 来源期刊: 现代制造技术与装备
• 学科: 工学
• 关键词: Petri网规约 工作流 模型验证
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 自动化与控制
• 页码范围: 58-60
• 页数: 3页
• 分类号: TP3
• 字数: 1638字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5587.2006.01.020

摘要

本文针对工作流过程建模的复杂性和易出错的状况,提出了基于Petri网系统规约的模型验证方法,提出了工作流网向Petri网映射的对应关系,给出了Petri网模型的八种规约规则.这些规则在实际应用中证明是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	乔佩利	哈尔滨理工大学计算机科学与技术学院	89	550	11.0	17.0
2	杨波涛	哈尔滨理工大学计算机科学与技术学院	1	4	1.0	1.0