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)

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)