PetriTUB
Introduction
The Python toolbox petritub
allows to manipulate untimed Petri nets and provides max-plus and min-plus algebra tools for the study of timed event graphs.
For example, the library provides functions for performing the following tasks:
Drawing the coverability tree for a given Petri net
Computing the maximally permissive state-based controller, given a set of specifications
Finding the cycle time of a timed event graph and solving the related eigenproblem
Drawing the trajectory of a timed event graph as a Gantt chart