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