[ES] Gracias a la existencia de potentes teorías de análisis y síntesis, así como a su directa representabilidad gráfica, las redes de Petri constituyen uno de los formalismos más aceptados en las aplicaciones de ingeniería ...