SEdit.Formalisms.Petri
Interface PetriScheduler

All Known Implementing Classes:
ActivePetriStructure, PetriStructure

public interface PetriScheduler

Interface PetriStructure


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

Method Detail

addActivated

void addActivated(PetriTransition a)

removeActivated

void removeActivated(PetriTransition a)

step

void step()


Copyright © Madkit Team (O. Gutknecht, J. Ferber, F. Michel et al.) All Rights Reserved.