工作流网合成规则及其在流程设计中的应用

• 作者: 张曼 段振华
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 工作流 Petri网 合成规则 自由选择工作流网 可分离工作流网
• 年，卷（期）: 2012,（2）
• 页码范围: 200-206
• 分类号: TP311
• 字数: 6098字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2012.02.033

摘要

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
5	张曼	西安电子科技大学计算理论与技术研究所	4	40	3.0	4.0