|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PetriScheduler
Interface PetriStructure
Method Summary | |
---|---|
void |
addActivated(PetriTransition a)
|
void |
removeActivated(PetriTransition a)
|
void |
step()
|
Method Detail |
---|
void addActivated(PetriTransition a)
void removeActivated(PetriTransition a)
void step()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |