Automatic Generation of Optimized Process Models from Declarative Specifications.

Richard Mrasek Jutta A. Mülle Klemens Böhm

Published in: CAiSE (2015)

Keyphrases

process model
control flow
process mining
business processes
business process
high level
petri net
business process models
artificial intelligence
formal specification
software process
event logs
reference models
computer science
computational intelligence
workflow management systems