Сети активных ресурсов

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


Аннотация

Вводится формализм моделей распределенных систем, названный сетями активных ресурсов. Формализм построен как обобщение сетей Петри, в котором убрано разделение компонентов системы на активные и пассивные (переходы и позиции). Каждый ресурс (маркер узла сети) может выступать и в качестве пассивного ресурса, потребляемого или производимого другими агентами, и в качестве активного агента, потребляющего и производящего другие ресурсы.

Об авторе

В. А. Башкин
Ярославский государственный университет
Россия


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

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

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

Обратные ссылки

  • Обратные ссылки не определены.


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


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)