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