基于Petri网的工作流建模合理性验证算法

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (13): 228-231.

基于Petri网的工作流建模合理性验证算法

郝玫,王道平

北京科技大学经济管理学院，北京 100083

收稿日期:2007-08-23 修回日期:2007-11-19 出版日期:2008-05-01 发布日期:2008-05-01
通讯作者: 郝玫

Workflow modeling rationality validation algorithm based on Petri-net

HAO Mei,WANG Dao-ping

College of Economics and Management，University of Science and Technology Beijing，Beijing 100083，China

Received:2007-08-23 Revised:2007-11-19 Online:2008-05-01 Published:2008-05-01
Contact: HAO Mei

摘要/Abstract

摘要： Petri网是一种适用于多种系统的图形化、数学化的建模工具，并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析，完善并改进了一种基于Petri网的工作流模型合理性验证算法，最后用实例验证了该算法的正确性。

关键词: 工作流模型, Petri网, 合理性, 验证算法

Abstract: Petri-net is a graphic and mathematical modeling tool that can be applied to variety systems.In addition，it can provide the techniques and tools for the workflow model structural analysis and performance evaluation.Based on the analysis of the existing workflow rationality validation theorems and algorithms，a rationality validation algorithm is perfected and mended，and at last the correctness of this algorithm is verified by an example.

Key words: workflow model, petri-net, rationality, validation algorithm

郝玫,王道平. 基于Petri网的工作流建模合理性验证算法[J]. 计算机工程与应用, 2008, 44(13): 228-231.

HAO Mei,WANG Dao-ping. Workflow modeling rationality validation algorithm based on Petri-net[J]. Computer Engineering and Applications, 2008, 44(13): 228-231.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[4]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[5]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[6]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[7]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[8]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[9]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[10]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[11]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[12]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[13]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.
[14]	刘红，方贤文，刘祥伟. 流程树切挖掘业务流程隐变迁的方法[J]. 计算机工程与应用, 2017, 53(22): 222-226.
[15]	张正坤，朱昌锋. 基于TPr/T_系统的编组站配流研究[J]. 计算机工程与应用, 2017, 53(21): 219-224.