public class InvisiblePetrinetSemantics
extends java.lang.Object
implements org.processmining.models.semantics.petrinet.PetrinetSemantics
Constructor and Description |
---|
InvisiblePetrinetSemantics(org.processmining.models.semantics.petrinet.PetrinetSemantics s,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping m) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.ExecutionInformation |
executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute) |
org.processmining.models.semantics.petrinet.Marking |
getCurrentState() |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getExecutableTransitions() |
void |
initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
org.processmining.models.semantics.petrinet.Marking initialState)
Initializes this semantics.
|
void |
setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState) |
public InvisiblePetrinetSemantics(org.processmining.models.semantics.petrinet.PetrinetSemantics s, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping m)
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getExecutableTransitions()
getExecutableTransitions
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public org.processmining.models.semantics.ExecutionInformation executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute) throws org.processmining.models.semantics.IllegalTransitionException
executeExecutableTransition
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
org.processmining.models.semantics.IllegalTransitionException
public org.processmining.models.semantics.petrinet.Marking getCurrentState()
getCurrentState
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public void initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions, org.processmining.models.semantics.petrinet.Marking initialState)
org.processmining.models.semantics.Semantics
initialize
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public void setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState)
setCurrentState
in interface org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>