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

Abstract: 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.

Key words: Petri nets, condition and probability information, deadlock, business process, modeling