Class StochasticLabelledPetriNetSemanticsSimpleWeightsImpl

  • All Implemented Interfaces:
    java.lang.Cloneable, StochasticLabelledPetriNetSemantics

    public class StochasticLabelledPetriNetSemanticsSimpleWeightsImpl
    extends StochasticLabelledPetriNetSemanticsImpl
    This semantics aims to avoid traversing all transitions. After construction, executing a transition will only consider the transitions whose enabledness may have changed. The only all-transition operation is BitSet.clear(). After construction, the semantics will only allocate local non-array variables.
    Author:
    sander