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)

A Two-Level Approach for Modeling and Verification of Telecommunication Systems. - Dmitri M. Beloglazov; Valery A. Nepomniaschy (Ershov Memorial Conference, 2009)

Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets. - Dmitri M. Beloglazov; Mikhail Mashukov; V. A. Nepomnyashchiy (Autom. Control. Comput. Sci., 2012)