Temporal Conformance Checking at Runtime based on Time-infused Process Models.

Florian Stertz Juergen Mangler Stefanie Rinderle-Ma

Published in: CoRR (2020)

Keyphrases

process model
process mining
business processes
business process
business process models
petri net
temporal reasoning
temporal constraints
control flow
event logs
design patterns
temporal information
software process
architectural models
real world
code generator