For citations:
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.)
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.)