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

Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics