ICP25 - Finite State Machine Editor

Simple editor written in QT for creating and simulating Petri nets.

Authors

• Filip Hladík
• Tomáš Pěnkava

Features

• Create and modify Automaton via GUI
• Real-time visualization of interpreted (JS) code
• Transition conditions
• Simulation runtime
• Input/output handling
• File saving/loading (via JSON format)

Compiling the project

make

Running the project

make run

Documentation

make doxygen

Hierarchy structure

• ./src/ - source files

• ./examples/ - example JSON files containing valid automatons

• ./doc/ - doxygen documentation - needs to be generated first by running make doxygen

• README.md - basic overview of the project (this file)

• Makefile - used for compiling the project