1) Lehet -e before/after -ket használni az átmeneteken?
2) choice -t lehet használni?
3) az open szekvencia diagramjában azt a min 2s -t hogy kéne értelmezni?
az open jeltől számítva 2 mp en belül biztosan nem nyit ki, de utána bármikor, vagy egyből kinyílik 2 mp után... vagy?
4) eddigi gondolkodásunk alapján az opened -re gondoltunk, mint kezdőállapot, de ha szabad ezt itt megkérdezni: jól gondoltuk, vagy gondolkodjunk tovább?
