SEdit.Formalisms.Petri
Interface PetriScheduler

All Known Implementing Classes:
PetriStructure

public interface PetriScheduler

Interface PetriStructure


Method Summary
 void addActivated(PetriTransition a)
           
 void removeActivated(PetriTransition a)
           
 void step()
           
 

Method Detail

addActivated

public void addActivated(PetriTransition a)

removeActivated

public void removeActivated(PetriTransition a)

step

public void step()


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