activity

Type Members

1. class ArcD extends PetriNetRules with Identity

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class represents a arc connecting continuous place with a transition.

2. class ArcI extends PetriNetRules with Identity

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class represents a arc connecting discrete place with a transition.

3. class PetriNet extends PetriNetRules with Error

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class provides a simulation engine for Hybrid Colored Petri Nets.

4. trait PetriNetRules extends AnyRef

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class is used to define firing rules for the PetriNet class.

5. class PlaceD extends Identity

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class represents a continuous place (can hold fluids).

6. class PlaceI extends Identity

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class represents a discrete place (can hold tokens).

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

   ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: This class represents a timed transition.