Quali assiomi deve rispettare una semantica temporale forte?

Deve rispettare i precedenti 3 assiomi e in più: - marcatura forte iniziale: il massimo tempo di scatto di tutte le transizioni abilitate nella marcatura dev’essere maggiore o uguale del massimo timestamp associato ad un gettone in tale marcatura - sequenza di scatti forte: una transizione deve scattare entro il suo tempo massimo a meno che non venga disabilitata