Для цитирования:

Черненок С., Непомнящий В. Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами. Труды Института системного программирования РАН. 2015;27(3):197-218. https://doi.org/10.15514/ISPRAS-2015-27(3)-14

For citation:

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