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||Wednesday, August 29th, 2018 8:55:06pm (UTC)|
|Most recent build results|
|Last checked||Saturday, November 17th, 2018 5:12:33am (UTC)|
|Last edited||Tuesday, October 2nd, 2018 3:47:45pm (UTC)|