Login / Signup
WF-Net Based Modeling and Soundness Verification of Interworkflows.
Shingo Yamaguchi
Hajime Matsuo
Qi-Wei Ge
Minoru Tanaka
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2007)
Keyphrases
</>
petri net
databases
database
artificial intelligence
modeling method
wide range
model checking
signature verification
modeling framework
face verification
modeling language
control system
digital libraries
multiscale
high level
metadata
genetic algorithm