一种扩展了条件和概率信息的Petri网

摘要：

为了使Petri网具有根据Token中记录的信息和当前处理情况,进行处理路线选择和分析各个变迁及所有可能变迁集执行概率的功能,提出了一种扩展了条件和概率信息的Petri网.该网为经典Petri网的库所和变迁扩展了输入条件集、概率输出条件集及选择函数.通过条件概率Petri网的表示定义了其建模图的表达方法,通过运行过程分析描述了该网的运行原理,通过可达、死锁路线发现及概率计算的方法分析了各个变迁、所有可能变迁集及死锁路线的执行概率,并给出了死锁的解决策略.最后利用条件概率Petri网对叶片的制造过程进行建模分析,显示了其对复杂业务流程建模和指导优化资源配置的能力.

关键词：Petri网、条件概率信息、死锁、业务流程、建模

所属期刊栏目：16

分类号：TP301(计算技术、计算机技术)

资助基金：国家973计划资助项目2005CB724100

在线出版日期：2010-09-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1444-1451