ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.

Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo

Browse the full TACAS paper archive.