Conformance Checking on Timed Automaton Process Models.

Sohei Ito Kento Hamae

Published in: ICEIS (2) (2024)

Keyphrases

process model
petri net
finite state machines
process mining
business processes
business process
event logs
business process models
software process
artificial intelligence
control flow
design patterns
neural network
software development
computational intelligence
web services
dynamic behaviors
code generator