CvO-Theory

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

CvO-Theory/apt’s past year of commit activity

Java 19 GPL-2.0 9 2 0 Updated Jan 24, 2024
apt-relabelling Public
Petri Net synthesis where unsolvable LTS are made solvable by splitting labels

CvO-Theory/apt-relabelling’s past year of commit activity

Java 0 0 0 0 Updated Aug 16, 2019
apt-javadoc Public
Automatically build Javadoc for the master branch of the APT repository

CvO-Theory/apt-javadoc’s past year of commit activity

HTML 0 0 0 0 Updated Dec 10, 2018
apt-gui-builds Public
Automatically generated files from the master branch of the apt-gui repository

CvO-Theory/apt-gui-builds’s past year of commit activity

0 0 0 0 Updated Jun 1, 2018
apt-gui Public Forked from jprellberg/apt-gui

CvO-Theory/apt-gui’s past year of commit activity

Java 2 2 0 0 Updated Jun 1, 2018
apt-modal-mu-synthesis Public
Petri net synthesis from the modal mu calculus for APT

CvO-Theory/apt-modal-mu-synthesis’s past year of commit activity

Java 0 GPL-2.0 0 0 0 Updated Apr 5, 2018
apo Public Forked from stromhalm/apo
An Application for online Petri net design and analysis

CvO-Theory/apo’s past year of commit activity

CoffeeScript 0 MIT 5 0 0 Updated May 19, 2017
apt-extremal Public
Additional modules for APT that are related to extremal rays

CvO-Theory/apt-extremal’s past year of commit activity

Java 0 GPL-2.0 0 0 0 Updated Apr 28, 2017
angular-apt Public Forked from stromhalm/angular-apt
An Angular module for online petri net analysis with APT

CvO-Theory/angular-apt’s past year of commit activity

Java 0 GPL-2.0 6 0 0 Updated Nov 11, 2016
ape Public Forked from hillit/ape
APE (APT-Editor)

CvO-Theory/ape’s past year of commit activity

Java 0 21 0 0 Updated Dec 16, 2013

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

CvO-Theory

Pinned Loading

Repositories

People

Top languages

Most used topics