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

## 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()

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

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