基于Petri网的工作流模型的分析

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (3): 194-194.

基于Petri网的工作流模型的分析

冯卫兵郝克刚

西安科技大学基础部西北大学计算机科学系

收稿日期:2006-05-29 修回日期:1900-01-01 出版日期:2007-01-21 发布日期:2007-01-21
通讯作者: 冯卫兵

Analysis of Petri-nets-based Workflow model

WeiBing Feng

Received:2006-05-29 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21
Contact: WeiBing Feng

摘要/Abstract

摘要： 通过模型分析发现所描述的过程定义中的设计错误，以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网，接着将Petri网进行必要化简，最后对化简后的Petri网进行死锁等分析。

关键词: 工作流模型, Petri网, 死锁

Abstract: The default of process design is found by Workflow model Analysis. The proper direction and scientific gist are provided. The Xinpai-driven model is transformed to Petri net and normal Petri net, and then to general Petri net. The characters of extending Xinpai-driven model are researched in Petri net space. The deadlock in Petri net predigested is analysised.

Key words: workflow model, Petri net, deadlock

冯卫兵郝克刚. 基于Petri网的工作流模型的分析[J]. 计算机工程与应用, 2007, 43(3): 194-194.

WeiBing Feng. Analysis of Petri-nets-based Workflow model[J]. Computer Engineering and Applications, 2007, 43(3): 194-194.

[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.