О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри
Аннотация
В статье проведен анализ моделирования в обыкновенных сетях Петри счетчиков с бесконечным числом состояний. Обоснован выбор отношения эквивалентности симуляции готовности в качестве отношения реализации для моделирования счётчиков. Показано, что в сетях Петри невозможно промоделировать счётчики с бесконечным числом состояний. Представлена минимальная модель счётчика с конечным числом значений
Список литературы
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).
Рецензия
Для цитирования:
Дворянский Л.В. О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри. Труды Института системного программирования РАН. 2011;20.
For citation:
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.)
Послать статью по эл. почте 