Package org.oristool.models.pn

Interface MarkingUpdater

All Known Implementing Classes:
PetriTokensAdder, PetriTokensRemover, PostUpdater
public interface MarkingUpdater
Function updating a Marking after the firing of a transition.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    update(Marking m, PetriNet petriNet, Transition t)
    Updates the input marking after the firing of the given transition.

  • Method Details

    • update

      void update(Marking m, PetriNet petriNet, Transition t)
      Updates the input marking after the firing of the given transition.
      Parameters:
      m - marking
      petriNet - Petri net
      t - fired transition