Behavioral Models

This package provides a number of modules that provide behavioral models. These models, state machines, petri nets, Markov chains, etc. can be used to analyze or simulate real-world systems or act as a test surrogate for components in complex systems as they are developed.