Una red de Petri está formada por lugares, transiciones, arcos dirigidos y marcas o fichas que ocupan posiciones dentro de los lugares.Los lugares contienen un número finito o infinito contable de marcas.Una transición está habilitada si tiene marcas en todas sus posiciones de entrada.En su forma más básica, las marcas que circulan en una red de Petri son todas idénticas.Para resolverlos se utiliza un árbol de Karp-Miller.Se sabe que el problema de alcance es decidible, al menos en un tiempo exponencial.El franqueo de una transición (la acción a ejecutar) se realiza cuando se cumplen unas determinadas precondiciones, indicadas por las marcas en las fichas (hay una cantidad suficiente de recursos), y la transición (ejecución de la acción) genera unas postcondiciones que modifican las marcas de otras fichas (se liberan los recursos) y así se permite el franqueo de transiciones posteriores.Definición: Una red de Petri es un conjunto formado porla aplicación de incidencia previa que viene definida como yla aplicación de incidencia posterior que viene definida como Definición: Una red marcada es un conjunto formado por
