public class CPNAnalysisResults
extends java.lang.Object
Constructor and Description |
---|
CPNAnalysisResults(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
void |
addDeadlock(org.cpntools.accesscpn.engine.highlevel.instance.State deadlock,
org.cpntools.accesscpn.engine.highlevel.instance.Binding[] path) |
void |
addDeadTransition(org.cpntools.accesscpn.model.Transition t) |
java.util.List<org.processmining.framework.util.Pair<org.cpntools.accesscpn.engine.highlevel.instance.State,org.cpntools.accesscpn.engine.highlevel.instance.Binding[]>> |
getDeadlocks() |
java.util.Set<org.cpntools.accesscpn.model.Transition> |
getDeadTransitions() |
DataPetriNet |
getDpn() |
org.processmining.models.semantics.petrinet.Marking |
getFinalMarking() |
org.processmining.models.semantics.petrinet.Marking |
getInitMarking() |
public CPNAnalysisResults(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)
public void addDeadTransition(org.cpntools.accesscpn.model.Transition t)
public void addDeadlock(org.cpntools.accesscpn.engine.highlevel.instance.State deadlock, org.cpntools.accesscpn.engine.highlevel.instance.Binding[] path)
public java.util.Set<org.cpntools.accesscpn.model.Transition> getDeadTransitions()
public java.util.List<org.processmining.framework.util.Pair<org.cpntools.accesscpn.engine.highlevel.instance.State,org.cpntools.accesscpn.engine.highlevel.instance.Binding[]>> getDeadlocks()
public DataPetriNet getDpn()
public org.processmining.models.semantics.petrinet.Marking getInitMarking()
public org.processmining.models.semantics.petrinet.Marking getFinalMarking()