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.
References
1. Decidability questions for bisimilarity of Petri nets and some related problems. Jancar, Petr. 1994. Proc. of STACS'94. Т. 775, стр. 581-592.
2. Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. Москва : Научный мир, 2004.
3. Кузьмин Е. В., Соколов В. А.,. Структурированные системы переходов. Москва : ФИЗМАТЛИТ, 2006.
4. Минский М. Вычисления и автоматы. Москва : Мир, 1971.
5. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушениями. Москва : ФИЗМАТЛИТ, 2008.
6. Котов, В. Е. Сети Петри. Москва : Наука, 1984. стр. 160 стр.
7. Питерсон Дж. Теория сетей Петри и моделирование систем. Москва : Мир, 1984.
8. Тестирование конформности на основе соответствия состояний. Бурдонов, И. Б. и Косачев, А. С. Москва : ИСП РАН, 2010 r., Труды Института системного программирования РАН, Т. 18. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
9. Roscoe, A. W. A mathematical theory of communicating processes. 1982.
10. Collaborative Software Engineering Using Metamodel-Driven Approach. Semenov, V. 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), Paris : IEEE, 2007 r., стр. 178-179.
11. The Linear Time - Branching Time Spectrum I. Glabbeek, R. J. Berlin : Springer, 1990. Lecture Notes in Computer Science. Т. 458.
12. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Бурдонов, И. Б. и Косачев, А. С. Москва : б.н., 2009 r., Труды Института системного программирования РАН, Т. 17, стр. 193-208. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Review
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.)
Email this article 