org.processmining.onlineconformance.models.impl

Class StubbornSemanticsPetrinetImpl<S>

java.lang.Object

org.processmining.onlineconformance.models.impl.StubbornSemanticsPetrinetImpl<S>

All Implemented Interfaces:

StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

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>

Nested Class Summary

Nested classes/interfaces inherited from interface org.processmining.onlineconformance.models.StubbornSemantics

StubbornSemantics.Factory

Constructor Summary

Constructors

Constructor and Description
StubbornSemanticsPetrinetImpl(ModelSemanticsPetrinet<S> semantics)

Method Summary

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 given that we know that there are some existing sets [][] known, and, a set of [][] known stubborn sets that we wish to ignore
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StubbornSemanticsPetrinetImpl

public StubbornSemanticsPetrinetImpl(ModelSemanticsPetrinet<S> semantics)

Method Detail

getStubbornSets

public java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getStubbornSets(S state)

Description copied from interface: StubbornSemantics

returns all stubborn sets for a given state

Specified by:

getStubbornSets in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Returns:

getStubbornSets

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)

Description copied from interface: StubbornSemantics

returns all stubborn sets for a given state given that we know that there are some existing sets [][] known, and, a set of [][] known stubborn sets that we wish to ignore

Specified by:

getStubbornSets in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Returns:

getSemantics

public ModelSemanticsPetrinet<S> getSemantics()

isStubborn

public boolean isStubborn(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> set,
                          S state)

Description copied from interface: StubbornSemantics

check whether the given set of transitions is stubborn given the state

Specified by:

isStubborn in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Parameters:

set - potential stubborn set

state - in model

Returns:

true iff set is stubborn in state

retain

public 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)

Description copied from interface: StubbornSemantics

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.

Specified by:

retain in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Returns:

updateIgnoreSets

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)

Description copied from interface: StubbornSemantics

will return those ignore sets that at least contain an enabled transition.

Specified by:

updateIgnoreSets in interface StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Returns: