Definición: Una red de Petri es un conjunto formado por formula_1, donde formula_2 es un conjunto de fichas de cardinal formula_3, formula_4 un conjunto de transiciones de cardinal formula_5, formula_6 la aplicación de incidencia previa que viene definida como