为了使Petri网具有根据Token中记录的信息和当前处理情况,进行处理路线选择和分析各个变迁及所有可能变迁集执行概率的功能,提出了一种扩展了条件和概率信息的Petri网。该网为经典Petri网的库所和变迁扩展了输入条件集、概率输出条件集及选择函数。通过条件概率Petri网的表示定义了其建模图的表达方法,通过运行过程分析描述了该网的运行原理,通过可达、死锁路线发现及概率计算的方法分析了各个变迁、所有可能变迁集及死锁路线的执行概率,并给出了死锁的解决策略。最后利用条件概率Petri网对叶片的制造过程进行建模分析,显示了其对复杂业务流程建模和指导优化资源配置的能力。
To enable Petri net with the functions of choosing transaction path and analyzing the execution probabilities of transitions and possible transition collections according to information in token and current processing, a Petri net extended with condition and probability information (PCPN) was proposed. It extended input condition collection, output condition collection with probability information and selection functions. The method to express modeling was defined by the denotation of PCPN and the working principles were described by analyzing the operation process. The execution probabilities of transitions, possible transition collections and deadlocked were analyzed by a reachable and deadlocked path discovery algorithm and a probability computing method. Moreover, the solution to deadlock was given. The blade processing was modeled and analyzed, which demonstrated a good modeling, analyzing and optimizing ability of PCPN for complicated business process.