On Liveness of Non-sound Acyclic Free Choice Workflow Nets.

Naoki Nakahara Shingo Yamaguchi

Published in: CANDAR (2014)

Keyphrases

np hard
np complete
petri net
cp nets
relational databases
database schemes
business process
data flow
control flow
scientific workflows
workflow technology