Correctness Verification of synchronization based workflow model.

Jian Cai Wen Zhao Shikun Zhang Lifu Wang

Published in: ICEBE (2005)

Keyphrases

workflow model
business process
workflow systems
business processes
data flow
workflow management
model checking
design methodologies
fully integrated
workflow models
information systems
case study
process model
petri net
temporal constraints
business rules