Explore projects
-
Updated
-
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra
Updated
The database system that this GitLab service operates on will be updated on Wednesday, 07.06.2023 starting at 6:30pm. The GitLab service is expected to be unavailable from 6:30pm - 7:30pm. We ask for your understanding.
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra