1st International ICST Workshop on Knowledge Discovery and Data Mining

Research Article

Process Knowledge Verification Method Based on Petri Net

  • @INPROCEEDINGS{10.4108/wkdd.2008.2671,
        author={Wang Daliang and Zhang De-zheng and Gao Li-xin and Liu Jian-ming and Zhang  Huansheng},
        title={Process Knowledge Verification Method Based on Petri Net},
        proceedings={1st International ICST Workshop on Knowledge Discovery and Data Mining},
        publisher={ACM},
        proceedings_a={WKDD},
        year={2010},
        month={5},
        keywords={},
        doi={10.4108/wkdd.2008.2671}
    }
    
  • Wang Daliang
    Zhang De-zheng
    Gao Li-xin
    Liu Jian-ming
    Zhang Huansheng
    Year: 2010
    Process Knowledge Verification Method Based on Petri Net
    WKDD
    ACM
    DOI: 10.4108/wkdd.2008.2671
Wang Daliang1, Zhang De-zheng1, Gao Li-xin1, Liu Jian-ming1, Zhang Huansheng2
  • 1: School of Information Engineering University of Science and Technology Beijing Beijing 100083, China
  • 2: Department of computer Hebei Engineering and Technical College Cangzhou Hebei 061001, China

Abstract

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.