Che cosa stabilisce una semantica temporale debole?

Impone che una transizione possa scattare solo in uno degli istanti identificati dalla sua funzione temporale e non possa scattare prima di essere stata abilitata (fermo restando che una transizione non è obbligata a scattare quando abilitata) assiomi temporali: - monotonicità rispetto alla marcatura iniziale : ogni marcatura non può contenere gettoni prodotti nel futuro - divergenza del tempo: non è possibile avere un numero infinito di scatti in un ingervallo ti tempo finito