Search Package Index

1 packages found



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 tests5