Text this: Modelamiento de sistemas de control y sincronización de procesos basados en redes de petri