public class StubbornSemanticsPetrinetImpl<S> extends java.lang.Object implements StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
StubbornSemantics.Factory
Constructor and Description |
---|
StubbornSemanticsPetrinetImpl(ModelSemanticsPetrinet<S> semantics) |
Modifier and Type | Method and Description |
---|---|
ModelSemanticsPetrinet<S> |
getSemantics() |
java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
getStubbornSets(java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> known,
S state,
java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> ignore)
returns all stubborn sets for a given state
|
java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
getStubbornSets(S state)
returns all stubborn sets for a given state
|
boolean |
isStubborn(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> set,
S state)
check whether the given set of transitions is stubborn given the state
|
java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
retain(java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> sets,
org.processmining.models.graphbased.directed.petrinet.elements.Transition action)
retains all sets that do not contain the action, i.e., property of
stubborn sets: a stubborn set remains stubborn if a transition outside of
it is performed.
|
java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
updateIgnoreSets(java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> ignore,
S state)
will return those ignore sets that at least contain an enabled
transition.
|
public StubbornSemanticsPetrinetImpl(ModelSemanticsPetrinet<S> semantics)
public java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getStubbornSets(S state)
StubbornSemantics
getStubbornSets
in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getStubbornSets(java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> known, S state, java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> ignore)
StubbornSemantics
getStubbornSets
in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public ModelSemanticsPetrinet<S> getSemantics()
public boolean isStubborn(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> set, S state)
StubbornSemantics
isStubborn
in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
set
- potential stubborn setstate
- in modelpublic java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> retain(java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> sets, org.processmining.models.graphbased.directed.petrinet.elements.Transition action)
StubbornSemantics
retain
in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> updateIgnoreSets(java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> ignore, S state)
StubbornSemantics
updateIgnoreSets
in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>