Verifying Generalized Soundness of Workflow Nets.

Kees M. van Hee Olivia Oanea Natalia Sidorova Marc Voorhoeve

Published in: Ershov Memorial Conference (2006)

Keyphrases

workflow management systems
computer vision
artificial intelligence
search engine
metadata
image sequences
multi agent
search algorithm
multi agent systems
mobile robot
model checking