Process Knowledge Verification Method Based on Petri Net.

Daliang Wang Dezheng Zhang Lixin Gao Jianming Liu Huansheng Zhang

Published in: WKDD (2008)

Keyphrases

petri net
process model
colored petri nets
verification method
knowledge representation
design process
natural language
knowledge acquisition
model checking
manufacturing systems
web service composition
petri net model
artificial intelligence
knowledge base
service composition
dynamic behaviors