Process Knowledge Verification Method Based on Petri Net

Process knowledge is a key element to construct the domain knowledge database, and the process knowledge is mainly represented by process models. Although there are many methods to represent the process knowledge, they all have complexity and difficulty on the representation of the model construction, furthermore, the key problem lies on the difficulty of the process knowledge verification. Therefore, a method of modeling and verifying process model on the basis of Petri Net is proposed in this paper, and Petri Net representations of basic units in process model are refined. It is proved by examples that the problem of accessibility, deadlock and dead circle can be solved well by this method.