Cuando se aplican redes de Petri a problemas específicos, es necesario realizar restricciones o agregar nuevas propiedades a sus elementos (lugares, transiciones, tokens y arcos). Actualmente, se han desarrollado una gran variedad de tipos de redes de Petri, y las herramientas de software que se utilizan para manejarlas, están orientadas a trabajar un sólo tipo de red, o se enfocan a especializar un tipo de simplificación o de análisis. Esta especialización limita al usuario para que realice alguna extención, o restricción, a la red de Petri para modelar las propiedades del sistema que se desean. Esta es la principal motivación que tenemos para construir una herramienta que tenga capacidades de extensión desde sus niveles básicos.
En este capítulo se discuten las características de los distintos tipos de redes de Petri --para identificar sus puntos comúnes y diferentes--, lo cual nos permitirá establecer un modelo base de red de Petri, que pueda tener capacidades de extensión para manejar distintos tipos de redes.