GitHub repository: stromhalm/apt
Primary language: Java
Description: APT – Analysis of Petri nets and labelled transition systems