Petri Net Modelling of Estelle-specified Communication Protocols. - Valery A. Nepomniaschy; Gennady I. Alekseev; Alexandre V. Bystrov; Tatiana G. Churina; Sergey P. Mylnikov; E. V. Okunishnikova (PaCT, 1995)

Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. - Valery A. Nepomniaschy; Gennady I. Alekseev; Alexandre V. Bystrov; Sergey P. Mylnikov; E. V. Okunishnikova; P. A. Chubarev; Tatiana G. Churina (Program. Comput. Softw., 2001)