Package org.oristool.simulator

Interface SimulatorSuccessorEvaluator

All Known Implementing Classes:

SimulatorSTPNSuccessorEvaluator

public interface SimulatorSuccessorEvaluator

Method Summary

Modifier and Type	Method	Description
Succession	computeSuccessor(PetriNet petriNet, State state, Transition fired)

Method Details

computeSuccessor

Succession computeSuccessor(PetriNet petriNet,
 State state,
 Transition fired)