| -1655754493 | | 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 |