P
PetriTUB max-plus automata
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra + max-plus automata
Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra + max-plus automata