Automatic abstraction refinement for Petri nets verification.

Zhenyu Chen Conghua Zhou Decheng Ding

Published in: HLDVT (2005)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
service composition
fuzzy petri net
concurrent processes
manufacturing systems
high level petri nets
stochastic petri net
state machines
model checking
process model
neural network
production system
rough sets
knowledge base