Repositories list

• apt

  Public
  APT – Analysis of Petri nets and labelled transition systems

  Java

  •

  GNU General Public License v2.0

  •9•19•2•0•Updated Jan 24, 2024Jan 24, 2024

• apt-relabelling

  Public
  Petri Net synthesis where unsolvable LTS are made solvable by splitting labels

  Java

  •0•0•0•0•Updated Aug 16, 2019Aug 16, 2019

• apt-javadoc

  Public
  Automatically build Javadoc for the master branch of the APT repository

  HTML

  •0•0•0•0•Updated Dec 10, 2018Dec 10, 2018

• apt-gui-builds

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

  0•0•0•0•Updated Jun 1, 2018Jun 1, 2018

• apt-gui

  Public
  Java

  •

  Other

  •2•2•0•0•Updated Jun 1, 2018Jun 1, 2018

• apt-modal-mu-synthesis

  Public
  Petri net synthesis from the modal mu calculus for APT

  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Apr 5, 2018Apr 5, 2018

• apo

  Public
  An Application for online Petri net design and analysis

  CoffeeScript

  •

  MIT License

  •5•0•0•0•Updated May 19, 2017May 19, 2017

• apt-extremal

  Public
  Additional modules for APT that are related to extremal rays

  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Apr 28, 2017Apr 28, 2017

• angular-apt

  Public
  An Angular module for online petri net analysis with APT

  Java

  •

  GNU General Public License v2.0

  •6•0•0•0•Updated Nov 11, 2016Nov 11, 2016

• ape

  Public
  APE (APT-Editor)

  Java

  •21•0•0•0•Updated Dec 16, 2013Dec 16, 2013