Search Package Index

1 packages found

 PackageDescriptionBuild 

behavior

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.

Docs:

This package needs license metadata

succeeds; has failing tests5