31 M. Silva S. Velilla 1982 Realización cableada de redes de Petri binarias 6 151-155 3