Interface SuccessionEvaluator<M,E extends Event>

Type Parameters:
M - type of the model (such as a PetriNet
E - type of the event (such as the firing of a Transition
All Known Implementing Classes:
PetriSuccessionEvaluator, StochasticSuccessionEvaluator, TimedSuccessionEvaluator

public interface SuccessionEvaluator<M,E extends Event>
Common interface of succession evaluators.
  • Method Details