public class StochasticNetSemanticsImpl extends java.lang.Object implements StochasticNetSemantics
Modifier and Type | Field and Description |
---|---|
protected org.processmining.models.semantics.petrinet.Marking |
state |
Constructor and Description |
---|
StochasticNetSemanticsImpl() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
org.processmining.models.semantics.petrinet.PetrinetExecutionInformation |
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> |
getEnabledTransitions()
Gets all transitions, that are still enabled, even though some immediate transitions can fire first.
|
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getExecutableTransitions()
Overrides default semantics, as only one of the transitions with highest priority can fire
|
protected org.processmining.models.semantics.petrinet.Marking |
getProduced(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans) |
protected org.processmining.models.semantics.petrinet.Marking |
getRemoved(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans) |
protected org.processmining.models.semantics.petrinet.Marking |
getRequired(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans) |
protected java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitions() |
int |
hashCode() |
void |
initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
org.processmining.models.semantics.petrinet.Marking state)
Initializes this semantics.
|
protected boolean |
isEnabled(org.processmining.models.semantics.petrinet.Marking state,
org.processmining.models.semantics.petrinet.Marking required,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
void |
setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState) |
java.lang.String |
toString() |
public void initialize(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions, org.processmining.models.semantics.petrinet.Marking state)
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 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 java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions()
protected java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitions()
protected boolean isEnabled(org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.Marking required, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public org.processmining.models.semantics.petrinet.Marking getCurrentState()
public void setCurrentState(org.processmining.models.semantics.petrinet.Marking currentState)
public org.processmining.models.semantics.petrinet.PetrinetExecutionInformation executeExecutableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition toExecute) throws org.processmining.models.semantics.IllegalTransitionException
org.processmining.models.semantics.IllegalTransitionException
protected org.processmining.models.semantics.petrinet.Marking getRequired(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)
protected org.processmining.models.semantics.petrinet.Marking getProduced(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)
protected org.processmining.models.semantics.petrinet.Marking getRemoved(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object