org.processmining.models.semantics.petrinet
Interface PetrinetSemantics

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

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