Process knowledge verification method based on petri net

Authors:
Wang Daliang;Zhang De-zheng;Gao Li-xin;Liu Jian-ming;Zhang Huan-sheng
Affiliations:
University of Science and Technology, Beijing, Beijing, China;University of Science and Technology, Beijing, Beijing, China;University of Science and Technology, Beijing, Beijing, China;University of Science and Technology, Beijing, Beijing, China;Hebei Engineering and Technical College, Cangzhou, Hebei, China
Venue:
Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop
Year:
2008

Citing 3
Cited 1

Communicating sequential processes

Communicating sequential processes
Verification of workflow task structures: A petri-net-based approach

Information Systems
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Using simulation to test formally verified protocols in complex environments

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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.