Buscar
Estás en modo de exploración. debe iniciar sesión para usar MEMORY

   Inicia sesión para empezar


Por supuesto:

ingegneria del software

» Iniciar este curso
(Practica preguntas similares gratis)
Pregunta:

Che cosa stabilisce una semantica temporale debole?

Autor: federico volpe



Respuesta:

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


0 / 5  (0 calificaciones)

1 answer(s) in total