Quale differenza intercorre fra p-invarianti e t-invarianti?

Gli T-invarianti sono vettori che identificano sequenze di transizioni che, se attivate, riportano la rete di Petri dalla marcatura m ad m le sequenze di scatti negli t-invarianti: - si possono ripetere ciclicamente - portano alla marcatura di partenza consentono l'affermazione ulteriore: Se una rete è limitata e copribile da T-invarianti, allora è dimostrabile che è anche viva.