Proceedings of ISP RAS


On the modeling of infinite counters by ordinary Petri nets.

L.V. Dvoryansky.

Abstract

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.

Keywords

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

Edition

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