Murillo-Soto, L. D. Redes De Petri: Modelado E implementación De Algoritmos Para autómatas Programables. TM 2008, 21, pág. 102.