public class ModelSemanticsPetrinetMarkingTransitionImpl extends java.lang.Object implements ModelSemanticsPetrinet<org.processmining.models.semantics.petrinet.Marking>
ModelSemanticsPetrinet.Factory
Constructor and Description |
---|
ModelSemanticsPetrinetMarkingTransitionImpl(org.processmining.models.graphbased.directed.petrinet.Petrinet m) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
execute(org.processmining.models.semantics.petrinet.Marking m,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEnabledTransitions(org.processmining.models.semantics.petrinet.Marking m) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getModel() |
boolean |
isEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.semantics.petrinet.Marking m) |
boolean |
isMarked(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.semantics.petrinet.Marking state) |
public ModelSemanticsPetrinetMarkingTransitionImpl(org.processmining.models.graphbased.directed.petrinet.Petrinet m)
public org.processmining.models.graphbased.directed.petrinet.Petrinet getModel()
getModel
in interface ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public org.processmining.models.semantics.petrinet.Marking execute(org.processmining.models.semantics.petrinet.Marking m, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
execute
in interface ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(org.processmining.models.semantics.petrinet.Marking m)
getEnabledTransitions
in interface ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public boolean isEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.semantics.petrinet.Marking m)
isEnabled
in interface ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public boolean isMarked(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.semantics.petrinet.Marking state)
isMarked
in interface ModelSemanticsPetrinet<org.processmining.models.semantics.petrinet.Marking>