Redes de Petri clásicas

Las redes de Petri clásicas mantienen la estructura que se ha mencionado en la Definicion 1, de la sección 1.2. Donde la red es un grafo bipartita con dos tipos de nodos: arcos y transiciones. Estos nodos están conectados entre sí a través de arcos --con la regla de que un lugar no sea una entrada y salida de una transición--. Los arcos definen las funciones de entrada y salida la red. Los lugares tienen asociados elementos llamados tokens. Los tokens definen el estado de la red y se utilizan para establecer las condiciones de disparo de una transición --esta acción modifica el estado de la red, por lo que los tokens defienen las características dinámicas del sistema--.

Las redes de Petri clásicas también se les conoce como redes lugar/transición. Otros autores les llaman reded de Petri de bajo nivel [6,7,11,13,19,27,28], debido a que las modificaciones o restricciones hechas a la red no involucran más que condiciones de conexión de arcos y el número de tokens que pueden almacenar los lugares. Así, tenemos a las redes de Petri de capacidad finita (lugares con límite en los tokens que pueden almacenar), puras (no contienen autociclos), y ordinarias (si el peso de los arcos es 1), como se discute en [2] y en [22].