Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu. Petri Nets with Time. In Carla Seatzu, Manuel Silva 0001, Jan H. van Schuppen, editors, Control of Discrete-Event Systems. Volume 433 of Lecture Notes in Control and Information Sciences, pages 319-341, Springer, 2013. [doi]