I have an activity diagram (https://en.wikipedia.org/wiki/Activity_diagram
) and a set of event logs, and would like to do some form of conformance checking ("(How) do the event logs fit the activity diagram?").
How can ProM help with this?
Any suggestions on how to proceed with ProM or look elsewhere (e.g. UML tooling) are welcome.