Petri net based Grid workflow verification and optimization.

Haijun Cao Hai Jin Song Wu Shadi Ibrahim

Published in: J. Supercomput. (2013)

Keyphrases

grid workflow
workflow processes
model checking
business processes
multi agent
distributed environment
formal specification
workflow management systems
process algebra