org.processmining.onlineconformance.models

Interface ModelSemanticsPetrinet<S>

All Superinterfaces:

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

All Known Implementing Classes:

ModelSemanticsPetrinetMarkingTransitionImpl

public interface ModelSemanticsPetrinet<S>
extends ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ModelSemanticsPetrinet.Factory

Method Summary

Modifier and Type	Method and Description
boolean	isMarked(org.processmining.models.graphbased.directed.petrinet.elements.Place p, S state)

Methods inherited from interface org.processmining.onlineconformance.models.ModelSemantics

execute, getEnabledTransitions, getModel, isEnabled

Method Detail

isMarked

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