Practical Use of Formal Process Models: First Experiences.

H. Dieter Rombach

Published in: ISPW (1993)

Keyphrases

process model
formal models
process mining
business processes
business process
event logs
real world
business process models
petri net
code generator
software process
website
dynamic behaviors
control flow
denotational mathematics
information processing
fuzzy logic
case study
machine learning