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.

Build status: ok failing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedMonday, June 20th, 2022 7:48:13pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/johnstonskj/behavior.git6585145db8ba7304c09248835c518ff9245385e3
    Last checkedMonday, December 1st, 2025 5:50:39pm (UTC)
    Last editedTuesday, October 2nd, 2018 3:47:45pm (UTC)
    Date addedN/A
    Modules
    • behavior/scribblings/behavior.scrbl
    • behavior/reporter.rkt
    • behavior/petri-net.rkt
    • behavior/fsm.rkt
    • behavior/test/petri-net.rkt
    • behavior/test/scribblings.rkt
    • behavior/test/utilities.rkt
    • behavior/markov-chain.rkt
    • behavior/test/markov-chain.rkt
    • behavior/test/fsm.rkt