Translating TPAL Specifications into Timed-Arc Petri Nets

Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero. Translating TPAL Specifications into Timed-Arc Petri Nets. In Javier Esparza, Charles Lakos, editors, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings. Volume 2360 of Lecture Notes in Computer Science, pages 414-433, Springer, 2002. [doi]

Authors

Valentín Valero Ruiz

This author has not been identified. Look up 'Valentín Valero Ruiz' in Google

Juan José Pardo

This author has not been identified. Look up 'Juan José Pardo' in Google

Fernando Cuartero

This author has not been identified. Look up 'Fernando Cuartero' in Google