Quale è la differenza sostanziale fra p-invarianti e controllori?

Nonostante il concetto sia molto simile: un p invariante pone una condizione di uguaglianza con la combinazione di marcature di una rete un controllore pone una condizione di minore o uguale controllore LM <= b p invariante LM = b