CvO-Theory

apt. APT – Analysis of Petri nets and labelled transition systems

apt-javadoc. Automatically build Javadoc for the master branch of the APT repository

apt-gui-builds. Automatically generated files from the master branch of the apt-gui repository

apt-relabelling. Petri Net synthesis where unsolvable LTS are made solvable by splitting labels

apt-modal-mu-synthesis. Petri net synthesis from the modal mu calculus for APT

apt-extremal. Additional modules for APT that are related to extremal rays