package activity
The activity
package contains classes, traits and objects for
activity-oriented simulation models (for example, Petri Nets).
- Alphabetic
- By Inheritance
- activity
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
class
ArcD extends PetriNetRules with Identifiable
The
ArcD
class represents an arc connecting continuous place with a transition.The
ArcD
class represents an 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). -
class
ArcI extends PetriNetRules with Identifiable
The
ArcI
class represents an arc connecting discrete place with a transition.The
ArcI
class represents an 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). -
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" -
trait
PetriNetRules extends AnyRef
The
PetriNetRules
class is used to define firing rules for thePetriNet
class.The
PetriNetRules
class is used to define firing rules for thePetriNet
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. -
class
PlaceD extends Identifiable
The
PlaceD
class represents a continuous place (can hold fluids). -
class
PlaceI extends Identifiable
The
PlaceI
class represents a discrete place (can hold tokens). -
class
Transition extends PQItem with Ordered[Transition] with PetriNetRules with Identifiable
The
Transition
class represents a timed transition.
Value Members
-
object
Counter
The
Counter
object is used to provide unique identifiers for tokens/fluids. -
object
PetriNetRulesTest extends App with PetriNetRules
The
PetriNetRulesTest
object is used to test thePetriNetRules
trait. -
object
PetriNetTest extends App
The
PetriNetTest
object is used to test thePetriNet
class.