Introducción a las redes de Petri

Las redes de Petri son una herramienta gráfica y matemática de modelación que se puede aplicar en sistemas que se definen en términos causa-evento. Particularmente son ideales para describir y estudiar sistemas que procesan información, y que tienen características concurrentes, asíncronas, distribuidas, paralelas, no determinísticas y/o estocásticas. En este documento se presentan los conceptos básicos de las redes de Petri. A partir de las definiciones formales de redes de Petri, se presentan aspectos de modelación, comportamiento y técnicas de análisis.