Login / Signup
Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops.
Yongsun Choi
Pauline Kongsuwan
Cheol Min Joo
J. Leon Zhao
Published in:
Data Knowl. Eng. (2015)
Keyphrases
</>
workflow models
business process
workflow management
workflow model
np hard
petri net
np complete
model checking
event logs
relational databases
control structure
join dependencies
multi agent
expert systems
business processes
workflow systems