Los Sistemas Dinámicos de Eventos Discretos (DEDS) se basan en los sistemas dinámicos, donde los estados y eventos discretos tienen un rol fundamental. Los DEDS han crecido en interés, en la medida que la importancia de la automatización y control lo hacen en la tecnología moderna. Los ámbitos de aplicación como los sistemas de fabricación flexibles, los sistemas de transporte, los sistemas distribuidos, las redes de telecomunicaciones, la ingeniería de software, entre otros, usan intensivamente los conceptos y técnicas de los DEDS. Los DEDS típicos exhiben evoluciones paralelas, las cuales conducen a conductas complejas debido a la presencia de fenómenos de sincronización y recursos compartidos. Las Redes de Petri (RdP) son un formalismo matemático apropiado para modelación de DEDS concurrentes. Los modelos de red son frecuentemente observados como especificaciones autodocumentadas, a causa de que su naturaleza gráfica facilita la comunicación entre diseñadores y usuarios. Los fundamentos matemáticos del formalismo permiten corrección lógica y análisis de eficiencia.
