A deductive system for proving workflow models from operational procedures.

Rune Rasmussen Ross Brown

Published in: Future Gener. Comput. Syst. (2012)

Keyphrases

workflow models
business process
workflow management
petri net
workflow management systems
control structure
object oriented
process mining
event logs
workflow model
database
information systems
business processes
service oriented