Volver a los detalles del artículo Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool Descargar Descargar PDF