For citations:

Chernenok S.A., Nepomniaschy V.A. The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):197-218. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-14