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, June 20th, 2022 7:48:13pm (UTC)|
|Most recent build results|
|Last checked||Saturday, June 3rd, 2023 5:43:56am (UTC)|
|Last edited||Tuesday, October 2nd, 2018 3:47:45pm (UTC)|