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)

All-Siberian Open Olympiad in Programming (Novosibirsk State University). - Lidiya V. Gorodnyaya; V. D. Irtegov; N. N. Nepeivoda; Igor V. Pottosin; Tatiana G. Churina (Program. Comput. Softw., 2001)

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)

Using Coloured Petri Nets to Model and Verify Telecommunications Systems. - Valery A. Nepomniaschy; Dmitri M. Beloglazov; Tatiana G. Churina; Mikhail Mashukov (CSR, 2008)

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. - Valery A. Nepomniaschy; Victor S. Argirov; Dmitri M. Beloglazov; Alexandre V. Bystrov; Eugene A. Chetvertakov; Tatiana G. Churina (Program. Comput. Softw., 2008)