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)

Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. - Valery A. Nepomniaschy; Gennady I. Alekseev; Victor S. Argirov; Dmitri M. Beloglazov; Alexandre V. Bystrov; Eugene A. Chetvertakov; Tatiana G. Churina; Sergey P. Mylnikov; Ruslan M. Novikov (CSR, 2007)