org.processmining.onlineconformance.models.impl

Class ModelSemanticsPetrinetMarkingTransitionImpl

java.lang.Object

org.processmining.onlineconformance.models.impl.ModelSemanticsPetrinetMarkingTransitionImpl

All Implemented Interfaces:

ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition>, ModelSemanticsPetrinet<org.processmining.models.semantics.petrinet.Marking>

public class ModelSemanticsPetrinetMarkingTransitionImpl
extends java.lang.Object
implements ModelSemanticsPetrinet<org.processmining.models.semantics.petrinet.Marking>

wrapper around efficient petrinet semenatics, implements model-semantics provider

Author:

svzelst

Nested Class Summary

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

ModelSemanticsPetrinet.Factory

Constructor Summary

Constructors

Constructor and Description
ModelSemanticsPetrinetMarkingTransitionImpl(org.processmining.models.graphbased.directed.petrinet.Petrinet m)

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelSemanticsPetrinetMarkingTransitionImpl

public ModelSemanticsPetrinetMarkingTransitionImpl(org.processmining.models.graphbased.directed.petrinet.Petrinet m)

Method Detail

getModel

public org.processmining.models.graphbased.directed.petrinet.Petrinet getModel()

Specified by:

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>

execute

public org.processmining.models.semantics.petrinet.Marking execute(org.processmining.models.semantics.petrinet.Marking m,
                                                                   org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

Specified by:

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>

getEnabledTransitions

public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(org.processmining.models.semantics.petrinet.Marking m)

Specified by:

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>

isEnabled

public boolean isEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
                         org.processmining.models.semantics.petrinet.Marking m)

Specified by:

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>

isMarked

public boolean isMarked(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
                        org.processmining.models.semantics.petrinet.Marking state)

Specified by:

isMarked in interface ModelSemanticsPetrinet<org.processmining.models.semantics.petrinet.Marking>