"A freeway traffic control model by first order hybrid Petri nets."

Mariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics