https://github.com/pbayer/statemachines.jl

State machines
https://github.com/pbayer/statemachines.jl

automata discrete-event julia modeling simulation state-machines

Last synced: 5 days ago
JSON representation

State machines

• Host: GitHub
• URL: https://github.com/pbayer/statemachines.jl
• Owner: pbayer
• License: mit
• Created: 2019-10-10T09:27:47.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-02-08T17:11:00.000Z (almost 5 years ago)
• Last Synced: 2024-01-29T07:35:16.697Z (10 months ago)
• Topics: automata, discrete-event, julia, modeling, simulation, state-machines
• Language: Julia
• Homepage:
• Size: 102 KB
• Stars: 4
• Watchers: 0
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# StateMachines.jl

A [Julia](https://julialang.org) framework for state machines.

[![](https://img.shields.io/badge/docs-stable-blue.svg)](https://pbayer.github.io/StateMachines.jl/stable)

[![](https://img.shields.io/badge/docs-dev-blue.svg)](https://pbayer.github.io/StateMachines.jl/dev)

[![Build Status](https://travis-ci.com/pbayer/StateMachines.jl.svg?branch=master)](https://travis-ci.com/pbayer/StateMachines.jl)

[![Build Status](https://ci.appveyor.com/api/projects/status/github/pbayer/StateMachines.jl?svg=true)](https://ci.appveyor.com/project/pbayer/StateMachines-jl)

[![Codecov](https://codecov.io/gh/pbayer/StateMachines.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/pbayer/StateMachines.jl)

[![Coverage Status](https://coveralls.io/repos/github/pbayer/StateMachines.jl/badge.svg?branch=master)](https://coveralls.io/github/pbayer/StateMachines.jl?branch=master)

It will support:

- hierarchical state machines (HSM) as described by [UML statecharts](https://en.wikipedia.org/wiki/UML_state_machine),

- but also [precursor state diagrams](https://en.wikipedia.org/wiki/State_diagram) like Harel statecharts or Moore and Mealy machines

It then will be useful for

- discrete event simulation of communication or queueing systems where events to state machines are generated by a simulation engine,

- implementation of reactive system with user generated or external events.

### Examples

- see `docs/notebooks`