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

Карраскель Х.С., Моралес А., Виллаполь М.Е. Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем. Труды Института системного программирования РАН. 2018;30(4):107-128. https://doi.org/10.15514/ISPRAS-2018-30(4)-7

For citation:

Carrasquel J.C., Morales A., Villapol M.E. Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(4):107-128. https://doi.org/10.15514/ISPRAS-2018-30(4)-7