Corsi di Laurea
ROX @ Unisa - Forum degli studenti di Ingegneria utilizza i cookie. Se prosegui la navigazione accetti il loro uso.
Accetto l'uso dei cookie
Scusami,
potresti postare l'automa della specifica richiesta?
All'inizio anche io pensato la stessa cosa: il altre parole avevo pensato di eliminare gli stati A1B3 ed A2B3 (ovvero una specifica statica) però poi, facendo così, si doveva inibire anche l'evento r1 nello stato A3B3, è questo non mi sembrava giusto. Poi può anche essere che mi stia sbagliando...scusami..volevo chiederti una cosa..non bastava dire che lo stato B3 poteva stare insieme solo ad A3, e tutti gli altri abbinamenti con B3 sono proibiti, data la specifica?Invece di fare l'automa?
Infatti è una specifica dinamica per questo ho fatto l'automa di specificaForse non si possono eliminare,perchè non è una vera e propria specifica statica, è subordinata ad un evento: la rottura della macchina..quindi è più che altra dinamica...
Ti dirò... solitamente la composizione concorrete porta ad un automa finale che somiglia molto all'automa di specifica, infatti in questo esercizio la composizione concorrete tra Sp e A||B è relativamente semplice (il supervisore è uguale all'automa di specifica + altri 2 stati), almeno così è per meMi sono convinto di questa cosa..xò il mio dubbio è un altro....fare la composizione concorrente tra questi 3 automi...viene un procedimento che non so neanche dove mettere le mani...qualcuno ha qualche osservazione?
0 utenti, 1 ospiti, 0 utenti anonimi