Definición: Una red marcada es un conjunto formado por formula_8 donde formula_9 es una Red de Petri como la definida, formula_10 es una aplicación denominada marcado y