Refinement of Petri Nets in Workflow Integration.

Zhijun Ding Yaying Zhang Changjun Jiang Zhaohui Zhang

Published in: CSCWD (Selected Papers) (2006)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
fuzzy petri net
process model
ims ld
state machines
neural network
service composition
programmable logic controller
stochastic petri net
workflow models
sequence diagrams
model checking
artificial intelligence