FSM Simulator for Devices

JSON Device Specification

The following text field is the json entry box for the device to model.
If you make a change to the json specification remember to click "Reload Device".

Load Example Devices:

Device Simulator

-

Current State :

State Transition Table

Simple User Manual

Here is a simple explination of how this device works in terms of states and actions:

Graph Analysis

Here are a number of statistics and details about the graph describing this device.

Pointless States

These states have only one exit, which may imply that they serve no purpose.

Deadend States

These states have no exit, in that no button press will more you to a different state.

Strongly Connected

Average Traversal Cost

Dot Description

Here is a dot specification for the finite state machine representing this device:

Gnomes

Here you are able to run a gnome simulation:

Author

Written by James Gawn with contributions from Gareth Thomas while at Swansea University on the Interactive System Design course.