Сети активных ресурсов
Аннотация
Вводится формализм моделей распределенных систем, названный сетями активных ресурсов. Формализм построен как обобщение сетей Петри, в котором убрано разделение компонентов системы на активные и пассивные (переходы и позиции). Каждый ресурс (маркер узла сети) может выступать и в качестве пассивного ресурса, потребляемого или производимого другими агентами, и в качестве активного агента, потребляющего и производящего другие ресурсы.
Список литературы
1. Котов, В.Е. Сети Петри / В.Е. Котов. - М.: Наука, 1984.
2. Ломазова, И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой / И.А. Ломазова. - М.: Научный мир, 2004.
3. Dufourd, C. Reset nets between decidability and undecidability / C. Dufourd, A. Finkel, Ph. Schnoebelen. // LNCS 1443. - Springer, 1998. - P.103-115.
4. Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use / K. Jensen. - Springer, 1994.
5. Kohler, M. Super-Dual Nets / M. Kohler, H. Rolke // Proc. of CS&P'2005. - Warsaw, 2005. - P.271-280.
Рецензия
Для цитирования:
Башкин В.А. Сети активных ресурсов. Моделирование и анализ информационных систем. 2007;14(4):13-19.
For citation:
Bashkin V.A. Nets of active resources. Modeling and Analysis of Information Systems. 2007;14(4):13-19. (In Russ.)
Просмотров:
467
Послать статью по эл. почте 