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||Monday, December 11th, 2023 9:04:16pm (UTC)|
|Last edited||Tuesday, October 2nd, 2018 3:47:45pm (UTC)|