Pregunta:
Cosa significa che due transizioni sono in una relazione di sequenza?
Autor: federico volpeRespuesta:
Due transizioni sono in sequenza se: M [ t1>∧¬M [ t2>∧M [ t1t2>. ovvero se la transizione t2 viene abilitata dallo scatto di t1 nella marcatura M
0 / 5 (0 calificaciones)
1 answer(s) in total
Autor
federico volpe