Last released Apr 26, 2026
Untimed Petri nets and max-plus/min-plus algebra tools for timed event graphs
Supported by