Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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
 

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD