public class AcceptingPetriNet2TransitionSystem
extends java.lang.Object
| Constructor and Description |
|---|
AcceptingPetriNet2TransitionSystem() |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<org.processmining.models.semantics.petrinet.Marking,java.lang.Object> |
getMapping() |
java.lang.Object[] |
transform(org.processmining.acceptingpetrinet.models.AcceptingPetriNet petriNet) |
java.lang.Object[] |
transform(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet petriNet) |
public java.lang.Object[] transform(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet petriNet)
public java.util.Map<org.processmining.models.semantics.petrinet.Marking,java.lang.Object> getMapping()
public java.lang.Object[] transform(org.processmining.acceptingpetrinet.models.AcceptingPetriNet petriNet)