Process knowledge verification method based on petri net.

Daliang Wang Dezheng Zhang Lixin Gao Jianming Liu Huansheng Zhang

Published in: e-Forensics (2008)

Keyphrases

petri net
process model
verification method
knowledge acquisition

knowledge base
colored petri nets
knowledge based systems
discrete event systems

concurrent processes
web service composition
fuzzy petri net
neural network

learning environment
knowledge representation
design process