3 M. Silva S. Velilla 1980 Sistema especializado en la simulación de redes de Petri sanas 81-88 5