Question:
Cosa significa che due transizioni sono in una relazione di sequenza?
Author: federico volpeAnswer:
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 ratings)
1 answer(s) in total
Author
federico volpe