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

Дворянский Л.В. О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри. Труды Института системного программирования РАН. 2011;20.

For citation:

Dvoryansky L.V. On the modeling of infinite counters by ordinary Petri nets. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;20. (In Russ.)