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...