Verification of Distributed Systems Modelled by High-Level Petri Nets. - Vitaly E. Kozura; Valery A. Nepomniaschy; Ruslan M. Novikov (PARELEC, 2002)

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)