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.
|Last updated||Monday, February 18th, 2019 10:49:02pm (UTC)|
|Most recent build results|
|Last checked||Tuesday, July 23rd, 2019 3:57:17pm (UTC)|
|Last edited||Tuesday, October 2nd, 2018 3:47:45pm (UTC)|