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.
Modelling BPMN models with conditions and translating them to DPN/CPN in ProM?
according to BPMN 2.0 spec, exclusive gateways should have conditions on their outgoing arcs. (In addition, but less importantly, a default arc may be designated in case all conditions are false.) Very reasonable, because otherwise conformance checking against models with many exclusive gateways has exponential computational complexity (imagine token-replay, you might have to backtrack over all n! combinations of empty arcs).
- Is there anything in ProM 6.9 that would allow me to model such BPMN models with arc conditions?
- Is there anything that would translate them to Petri nets (either Data Petri nets or Colored Petri nets with corresponding CPN ML expressions)?
- Is there anything that could discover such annotated models (preferably BPMN, but also Petri net directly) from event logs?
I have looked for plugins, but have had no success. But I'm absolutely new to ProM, so...