GitHub repository: matyaskuti/PetriPy
Primary language: Python
Description: Small tool to display Petri nets and demonstrate different liveliness-invariant transformations.