To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
activity diagrams and ProM
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.