GitHub repository: sarahtattersall/PIPEAnalysis
Primary language: Java
Description: A set of algorithms for the Analysis of Petri nets