Che cosa aggiunge la semantica temporale monotonica debole?

Oltre alle proprietà della semantica temporale debole aggiunge un ulteriore assioma temporale: - monotonicità dei tempi di scatto di una sequenza: impone necessariamente che i tempi di scatto delle transizioni all’interno di una sequenza siano monotoni non decrescenti, forzando così il fatto che nell’intera rete il tempo non possa tornare indietro