activity

Type Members

1. class ArcD extends PetriNetRules with Identifiable

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

2. class ArcI extends PetriNetRules with Identifiable

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

3. class PetriNet extends PetriNetRules with Error

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

4. trait PetriNetRules extends AnyRef

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

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.