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