Probability and Priority
Non-deterministic choice resolved by a “fair” random choice over possible results
- choice place allows probability distribution to be specified
- depends on model instance
- more complex if multiple choices are in play
- RISCSIM always resolves choices as a result of some transition terminating
Some situations call for arc priority
- could set extreme probability distribution (fudge), but prefer to make explicit.