THROUGHPUT ANALYSIS OF A MULTIROBOT SYSTEM VIA TIMED PETRI NET MODELS | Publicación