Quali assiomi devono rispettare le reti di petri real time basic a semantica temporale monotonica debole?

(A1) Monotonicità rispetto alla marcatura iniziale: tutti i tempi di scatto di una sequenza di scatto devono essere non minori di uno qualunque dei timestamp dei gettoni della marcatura iniziale. (A2) Monotonicità dei tempi di scatto di una sequenza: tutti i tempi di scatto di una sequenza di scatti devono essere ordinati nella sequenza in maniera monotonicamente non decrescente. (A3) Divergenza del tempo: non è possibile avere un numero infinito di scatti in un intervallo di tempo finito.