Las redes de Petri son una herramienta gráfica y matemática de modelación que se puede aplicar en muchos sistemas. Particularmente son ideales para describir y estudiar sistemas que procesan información y con características concurrentes, asíncronas, distribuidas, paralelas, no determinísticas y/o estocásticas. El objetivo de este capítulo es presentar los conceptos básicos de las redes de Petri. A partir de las definiciones formales de redes de Petri, se presentan aspectos de modelado, comportamiento y técnicas de análisis.