"Algebraic Approach to Timed Petri Nets."

Karsten Gabriel, Pascal Lingnau, Claudia Ermel (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics