Class | Description |
---|---|
EfficientDiscreteStochasticNetSemanticsImpl |
Stores a marking encoding temporal states in a discrete domain.
|
EfficientStochasticNetSemanticsImpl |
Hopefully more efficient implementation of the semantics...
|
EfficientTimedMarking | |
NormalizedMarkingCache | |
StochasticNetSemanticsImpl |