SEdit.Formalisms.Petri
Interface PetriTransitionBehavior

All Known Implementing Classes:
PetriTransition

public interface PetriTransitionBehavior


Method Summary
 void goToSleep()
           
 void validate()
           
 void wakeUp()
           
 

Method Detail

validate

public void validate()

wakeUp

public void wakeUp()

goToSleep

public void goToSleep()


Copyright © J. Ferber, O. Gutknecht All Rights Reserved.