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
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.
Copyright © 2008–2025 ICST
