Proceedings of ISP RAS

On the modeling of infinite counters by ordinary Petri nets.

L.V. Dvoryansky.


This paper provides the analysis of the express power of Petri nets to model counters with infinite state space. The implementation relation for the counters modeling is suggested. A lack of Petri nets expression power for such modeling is shown. The minimal Petri net model of a counter with a finite state space is provided.


counter machines; Petri nets; Glabbeek spectrum; ready simulation preorder


Proceedings of the Institute for System Programming, vol. 20, 2011, pp. 71-94.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume