A three-level net formalism for the modelling of multiple mobile robot systems. - Ernesto López-Mellado; Hugo Almeyda-Canepa (SMC, 2003)

A three-level net formalism for the modeling of multiple mobile robot systems. - Ernesto López-Mellado; Hugo Almeyda-Canepa (Int. J. Comput. Integr. Manuf., 2005)

Modelling of batch production systems using Petri nets with dynamic tokens. - Ernesto López-Mellado; Norma Villanueva-Paredes; Hugo Almeyda-Canepa (Math. Comput. Simul., 2005)