Lucrarea este dedicată elaborarii instrumentelor utilizate la modelarea protocoalelor criptografice pe baza rețelelor Petri. A fost realizata analiza rețelelor Petri ca instrument de modelare și sa evaluat adecvarea ...