public interface ModelSemanticsPetrinet<S> extends ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition>
Modifier and Type | Interface and Description |
---|---|
static class |
ModelSemanticsPetrinet.Factory |
Modifier and Type | Method and Description |
---|---|
boolean |
isMarked(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
S state) |
execute, getEnabledTransitions, getModel, isEnabled
boolean isMarked(org.processmining.models.graphbased.directed.petrinet.elements.Place p, S state)