C. Rovetto, T. Concepción, y E. Cano, Clase Red de Petri para Usos de Recursos Binarios Ordenados, congresoutp, vol. 1, n.º 1, pp. 79-85, 1.