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

Серебренников К.Г. Вычисление приоритетов срабатывания переходов для живых сетей Петри. Труды Института системного программирования РАН. 2019;31(4):163-174. https://doi.org/10.15514/ISPRAS-2019-31(4)-11

For citation:

Serebrennikov K.G. Computing Transition Priorities for Live Petri Nets. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(4):163-174. https://doi.org/10.15514/ISPRAS-2019-31(4)-11