Checking Conformance Between Colored Petri Nets and Event Logs.

Julio Cesar Carrasquel Khalil Mecheraoui Irina A. Lomazova

Published in: AIST (2020)

Keyphrases

event logs
colored petri nets
petri net
process mining
process model
business process
web services
log files
business processes
security policies
domain specific
machine learning
information retrieval
domain knowledge
language model