This package introduces a set of modeling techniques for exploring behavior in software systems.
Models such as state machines and Petri nets can be used to model the behavior of a system, and
Markov chains are used to generate events to help in the simulation of systems.
This package needs license metadata
|succeeds; has failing tests||5|