Las redes de Petri son una herramienta matemática que nos permite hacer modelación y análisis de sistemas cuya estructura esté expresada en términos de causa-evento. Las redes de Petri son una estructura algebraica PN = (P, T, I, O), con lugares, transiciones, funciones de entrada y salida, y marcas. Las redes de Petri también pueden definirse como un tipo particular de grafo con dos tipos de nodos: lugares y transiciones. Los lugares transiciones forman la parte estática de la red de Petri y; las funciones de entrada y salida, y las marcas forman la parte dinámica de la red.
La parte fuerte de las redes de Petri son su ayuda para analizar diferentes propiedades de un sistema, estas propiedades son: alcanzabilidad, acotamiento, activa, reversibilidad y estado inicial, cubrir, persistencia, distancia sincrónica, y equidad entre otras. Las redes de Petri tienen distintas técnicas de análisis, las que aqui se han discutido son: árbol de alcanzabilidad, enfoque de matriz de ecuaciones y técnicas de reducción o descomposición.
Una buena introducción a las redes de Petri y sus mecanísmos de análisis se pueden encontrar en[1,2,18] y [22].
Las redes de Petri tienen su principal problema cuando modelan sistemas grandes,debido a que la red de vuelve compleja y demasiado extensa. Por otro lado, para aplicar redes de Petri a muchos problemas específicos, es necesario aplicarle restricciones o hacerle extensiones al modelo original. En el siguiente capítulo se discuten las clases principales de redes de Petri --que intentan resolver este problema y que hacen extensiones al modelo original-- y las herramientas de software que se tienen actualmente para utilizarlas.