C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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