Skip to content

A graphical user interface for APT (Analysis of Petri nets and labelled transition systems)

License

Notifications You must be signed in to change notification settings

jprellberg/apt-gui

Repository files navigation

apt-gui

This is a graphical user interface for apt.

A pre-built "apt-gui.jar" file is available here.

Screenshot

Screenshot of APT-GUI

How to build

apt-gui depends on apt which is included as a git submodule. Therefore either clone with

git clone --recursive https://github.com/jprellberg/apt-gui.git

or run

git submodule init
git submodule update

after cloning.

After cloning you can build apt-gui with

cd apt-gui
./gradlew jar

Some other available build targets are: clean, eclipse, javadoc

About

A graphical user interface for APT (Analysis of Petri nets and labelled transition systems)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published