rozy msm da bi trebalo provjeravati na lokalnom dnsu ako dobije natrag “answer” sa levelom 3.1 to bi znacilo da je dobio konacnu ip adresu koju vraca klijentu
kako ste napravili kanal za komunikaciju izmedu local dnsa i ovih dns servera?
huba buba ja sam za sve koristio isti message, za promela dio, neznam jel za to pitas
ako je iko risija cpn, kakvi su vam ispali rezultati ove analize state space?
kako za cpn podesit onu poruku koja se salje ? gledam na netu ove neke deklaracije i nista mi nije jasno
rozy
Erpeg 🙁 meni se cini da cu ja ostavit mrezu nek stoji tak kak je i predat bez predaje poruka jer mi stvarno nije realno da oni ocekuju od nas takvo nekakvo napredno poznavanje cpn-a, bez da su nam objasnili neki slozeniji primjer i znajuci da na internetu nema skoro pa nista materijala u vezi toga
je li u promeli verifikacija uspjesna ako nam je 0 unreached stanja ili?
jel netko instalirao cpn na linuxu, help needed ?
rozy odustala i skinula onaj njihov VM pa cu preko toga pokrenut
reygrep zar nije ovaj VM njihov samo za promelu/spin
rozy nemoj mi to rec 🙈 Mislim nisam jos ni blizu cpna tak da nisam otvarala
reygrep yeah ni meni ne radi kod u promeli zato jer neznam kako dobro sinkronizirat procese…. pa sam kreno u cpn da vidim oce to ici lakse i kuzim da nemogu niti pokrenut jebeni program kamoli nesto vise od toga…
rozy okej kako sam pokreno cpn: skinuo win7 virtual image, u toj virtualki skino cpn, pokusao instalirat i failo jer nema javu instaliranu, onda instalirat javu i nakon toga je cpn uspjesno instaliran…. ovo sve pisem u izvjestaj o vjezbi 😆
rozy god dammit 😩
evo ako nekom na NE Windowsima treba CPN, link instalajte wine i onda s wineom windows verziju CPN toolsa
Kako da u CPN-u “query” pretvorim u “answer”?
Kako da iz ovoga dobijem ovo?
Na slikama je samo primjer da lakse objasnim na sto mislim, moze bilo koji nacin
ljama_glama msm da se to radi da se stavi na jednom arcu u expr (“answer”) umjesto msg
mozda ima neki ispravniji nacin od ovoga ali ovo radi
jeste vi koji pitate o cpn-u zavrsili promela dio ili ste samo presli na ovo dalje?
rozy Presli dalje, CPN je laksi😅
Jel netko zna jel trebamo mi hardkodirat ove podatke za ip i adresu koja je trazena, ili trebamo prikazat da su sva stanja reachable odnosno da PC trazi bilo koju domenu
reygrep ha nigdje nisu naveli nista pa ono vj moze oboje, napravis laksu opciju hahaha
reygrep puno toga je nepoznato kad daju uputu “modelirajte protokol” i ne daju informaciju kako to treba izgledati ako je uspjesno hahaahahha, ovaj lab je fakat novi level BS-a
