behavior (racket): 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.
Keywords: markov-chain|petri-net|state-machine