Package org.processmining.models.semantics.petrinet

Interface PetrinetSemantics

All Superinterfaces:

org.processmining.models.semantics.Semantics<Marking,Transition>, java.io.Serializable

All Known Subinterfaces:

EfficientPetrinetSemantics

All Known Implementing Classes:

EfficientPetrinetSemanticsImpl

public interface PetrinetSemantics
extends org.processmining.models.semantics.Semantics<Marking,Transition>

Method Summary

Methods inherited from interface org.processmining.models.semantics.Semantics

executeExecutableTransition, getCurrentState, getExecutableTransitions, initialize, setCurrentState