Preview

Труды Института системного программирования РАН

Расширенный поиск

О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри

Полный текст:

Аннотация

В статье проведен анализ моделирования в обыкновенных сетях Петри счетчиков с бесконечным числом состояний. Обоснован выбор отношения эквивалентности симуляции готовности в качестве отношения реализации для моделирования счётчиков. Показано, что в сетях Петри невозможно промоделировать счётчики с бесконечным числом состояний. Представлена минимальная модель счётчика с конечным числом значений

Об авторе

Л. В. Дворянский
ИСП РАН
Россия


Список литературы

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.)

Просмотров: 9


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


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