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

ДВОРЯНСКИЙ Л.В. Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах. Труды Института системного программирования РАН. 2022;34(5):183-194. https://doi.org/10.15514/ISPRAS-2022-34(5)-12

For citation:

DWORZANSKI L.W. Overapproximation of the Number of Active Timers in Timed-Arc Petri Nets Using DP-Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(5):183-194. https://doi.org/10.15514/ISPRAS-2022-34(5)-12