Class | Description |
---|---|
CheckDeadPaths | |
CheckProbabilities | |
Entropy | |
FilterZeroEdges | |
MakeAutomatonChoiceFul |
An automaton without choices has an entropy of 0.
|
MarkingSet |
Packs several markings (short[]) into a single short[], while keeping them
sorted for easy comparison.
|
MarkingSet.MarkingIterator | |
Projection | |
RelativeEntropy | |
StatePair | |
StochasticPetriNet2StochasticDeterministicFiniteAutomaton2 | |
StochasticUtils |
Enum | Description |
---|---|
Projection.ChooseProbability |
Exception | Description |
---|---|
UnsupportedAutomatonException | |
UnsupportedLogException | |
UnsupportedPetriNetException |