← All tools

Finite State Machine Simulator

Edit and inspect finite state machine simulator locally with an accessible diagram and complete export.

finite-state-machine-simulatorLOCAL WORKSPACE

Enabling local controls…

Local planning inputs

Local processing without upload or storage.32KiB per field,1MiB complete result,one-second Worker deadline. Editing cancels work and clears old diagrams/exports. Edit text rows for keyboard positioning/reordering. No external map tiles or device location.

Diagram and data

Edit inputs and build. All previews are generated locally.

Processing model and limits

Deterministic exact event matching. Reject duplicate(from,event), ≤80states/200events/300transitions. Missing transitions record an error and retain state; graph reachability is separate from the simulated trace. Local data only. Each field ≤32 KiB; ≤200 records, ≤80 graph nodes/300 edges, JSON depth30/nodes10000, ≤2000 coordinates. Complete result ≤1 MiB; diagram ≤8 million pixels and16384px per side. Edit text to move/reorder items; build again. SVG is a readable model, not an externally rendered image.

ToolHubEN inspected controls ↗

How to use this tool

Edit the labeled text fields, build, inspect the diagram and data, then copy or download JSON/SVG. Text editing provides the keyboard alternative to dragging.

When not to use it

Deterministic exact event matching. Reject duplicate(from,event), ≤80states/200events/300transitions. Missing transitions record an error and retain state; graph reachability is separate from the simulated trace. Local data only. Each field ≤32 KiB; ≤200 records, ≤80 graph nodes/300 edges, JSON depth30/nodes10000, ≤2000 coordinates. Complete result ≤1 MiB; diagram ≤8 million pixels and16384px per side. Edit text to move/reorder items; build again. SVG is a readable model, not an externally rendered image.