On the modeling of infinite counters by ordinary Petri nets

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

• счётчиковые машины
• сети петри
• спектр фон глэббика
• отношение эквивалентности симуляции готовности