activity

Type Members

1. class ArcD extends PetriNetRules with Identifiable

   

   The ArcD class represents a arc connecting continuous place with a transition.

   The ArcD class represents a arc connecting continuous place with a transition. If incoming is true the arc is from the place to transition, otherwise it is from the transition to the place (outgoing).

2. class ArcI extends PetriNetRules with Identifiable

   

   The ArcI class represents a arc connecting discrete place with a transition.

   The ArcI class represents a arc connecting discrete place with a transition. If incoming is true the arc is from the place to transition, otherwise it is from the transition to the place (outgoing).

3. class PetriNet extends PetriNetRules with Error

   

   The PetriNet class provides a simulation engine for Hybrid Colored Petri Nets.

   The PetriNet class provides a simulation engine for Hybrid Colored Petri Nets. Reference: "Discrete-event simulation of fluid stochastic Petri Nets"

4. trait PetriNetRules extends AnyRef

   

   The PetriNetRules class is used to define firing rules for the PetriNet class.

   The PetriNetRules class is used to define firing rules for the PetriNet class. It supports both constant flow and linear flow models of token (integer valued) and fluid (real valued) flow. Typically, in the constant flow model, a base flow vector is used for the threshold (require at least this number of tokens/amount of fluid) and the flow (move this number this number of tokens/amount of fluid over the arc). It is also possible to set the flow below the threshold. In the the linear flow model, a base flow vector can be augmented by additional flow that is a function of the residual left after the base is taken and the time it takes to fire the transition. The total flow may not exceed the the number/amount at the place. Additional flow models are under development.

5. class PlaceD extends Identifiable

   

   The PlaceD class represents a continuous place (can hold fluids).

6. class PlaceI extends Identifiable

   

   The PlaceI class represents a discrete place (can hold tokens).

7. class Transition extends PQItem with Ordered[Transition] with PetriNetRules with Identifiable

   

   The Transition class represents a timed transition.