Литература. Об одном подходе к моделированию распределенных алгоритмов управления мультиагентными системами

1. [Бандман и др., 1990] Бандман М. К. и др. Территориально-производственные комплексы: Прогнозирование процесса формирования с использованием сетей Петри — Новосибирск: Наука. Сиб. отд-ние, 1990.

2. [Котов, 1984] Котов В. Е. Сети Петри. — М.: Наука, 1984.

3. [Ломазова, 98] Ломазова И. А., Лысенко Н. В. Моделирование задачи разделенного доступа средствами модульных сетей Петри — Моделирование и анализ информационных систем. Вып. 5, с.62−73. — Ярославль, Ярославский госуниверситет, 1998.

4. [Ломазова, 99] Ломазова И. А. Моделирование мультиагентных динамических систем вложенными сетями Петри — Программные системы: Теоретические основы и приложения, с.143−156. — М.: Наука. Физматлит, 1999.

5. [Поспелов, 81] Поспелов Д. А. Логико-лингвистические модели в системах управления. — М.: Экономика, 1981.

6. [Поспелов, 86] Поспелов Д. А. Ситуационное управление: Теория и практика. — М.: Наука, 1986.

7. [Badouel, 98] Badouel E. R’eseaux de etri `a structures dynamiques, une bibliographie comment’ee — Mod’elisation et v’erification des processus parall’eles (MOVEP'98), Actes de l''ecole d''et'e, 'Ecole Centrale de Nantes, 6−9 Juillet 1998, pp.201−206.

8. [Battiston et al, 95] Battiston E., Chizzoni A., De Cindio F. Inheritance and Concurrency in CLOW — Proceeding of the 2nd Workshop on Object-Oriented Programming and Models of Concurrency — Turin, 1995.

9. [Finkel et al, 97] Finkel A., Schnoebelen Ph. Well-structured transition systems everywhere! — Accepted for publication in Theoretical Computer Science. October, 1997.

10. [Hack, 74] Hack M. Analysis of Production Schemata by Petri Nets. — Cambridge: MIT, 1974.

11. [Lakos, 95] Lakos C.A. From Coloured Petri Nets to Object Petri Nets — Proc. Int. Conf. on Applications and Theory of Petri Nets, LNCS 935, pp.278−297 — Springer-Verlag, 1995.

12. [Lomazova, 97a] Lomazova I.A. On Proving Large Distributed Systems: Petri Net Modules Verification — Proc. of The 4^th Int. Conference on Parallel Computing Technologies, Lecture Notes in Computer Science, Vol.1277, pp.70−75 — Springer, 1997.

13. [Lomazova, 97b] Lomazova I.A. Multi-Agent Systems and Petri Nets — Proceedings of Int. Workshop «Distributed Artificial Intelligence and Multi-Agent Systems» DAIMAS'97, June 15−18, 1997, pp.147−152 -St.Petersburg, 1997.

14. [Lomazova et al, 99] Lomazova I.& Schnoebelen Ph. Some decidability results for nested Petri nets — Perspectives of System Informatics (Proceedings of Andrei Ershov Third International Conference), p.143−148 — Novosibirsk: A.P.Ershov Institute of Informatic Systems, 1999.

15. [Lomazova, 99] Lomazova I.A. Nested Petri nets — a Formalism for Specification of Multi-Agent Distributed Systems — Proceedings of the Concurrency Specification and Programming (CS&P'99) Workshop, Warsaw, Poland, 28−30 September 1999, p.127−140 — Warsaw, 1999.

16. [Moldt et al, 97] Moldt D., Wienberg F. Multi-Agent Systems Based on Coloured Petri nets — Proc. Int. Conf. on Application and Theory of Petri Nets, LNCS 1248, pp.82−101 — Springer-Verlag, 1997.

17. [Sibertin-Blanc, 94] Sibertin-Blanc C. Cooperative nets — Proc. of the 15th Int. Conf. on Application and Theory of Petri Nets, LNCS 815, pp.471−490 — Springer-Verlag, 1994.

18. [Thiagarajan et al, 86] Thiagarajan P. S., Voss K. In Praise of Free-Choice Petri nets — Lecture Notes in Computer Science, Vol.188, pp. 438−453 — Springer-Verlag, 1986.

19. [Valk, 95] Valk R. How to Define Markings in Object Systems. Petri Nets Newsletter 50 — Gessellschaft f" ur Informatik — Bonn, 1995, pp.3−8.

20. [Valk, 98] Valk R. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. — Proc. Int. Conf. on Application and Theory of Petri Nets, LNCS 1420, pp.1−25- Springer-Verlag, 1998.