Handling Cycles in Workflow Verification by Feedback Identification and Partition.

Yongsun Choi J. Leon Zhao

Published in: IKE (2003)

Keyphrases

person identification
model checking
workflow management systems
real time
business processes
automatic identification
petri net model
writer identification
verification method
document management
feedback loop
formal verification
petri net
relevance feedback
web services
information systems
neural network