//-->
Modelling of batch production systems using Petri nets with dynamic tokens
López-Mellado, Ernesto, (2005)
Analysis of discrete event systems by simulation of timed Petri net models
López-Mellado, Ernesto, (2002)