Лекция 11. Сети Петри
Материалы к лекции:
- презентация: ссылка
- тест: ссылка
- форма для ответов: ссылка
- задание NetLogo - элементарные клеточные автоматы: ссылка
- упражнения к модели NetLogo: ссылка
Ресурсы:
Теория сетей Петри
- Carl Adam Petri and Wolfgang Reisig, Petri net, (2008), Scholarpedia, 3(4):6477
- Petri net (Wikipedia)
- C.A. Petri, Communication with automata, RADC-TR-65-377, Vol. I, 1966 (PDF)
- В. Котов, Сети Петри, М. : Наука, 1984
- Дж. Питерсон, Теория сетей Петри и моделирование систем, М.: Мир, 1984
- Hsu-Chun Yen, Introduction to Petri Net Theory, Recent Advances in Formal Languages and Applications, 2006, pp. 343-373
Приложения
- Dining Philosophers (YouTube)
- M.-A. Blatke, Tutorial on Petri Nets in Systems Biology, 2011
- Process Modeling (YouTube)
- Van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers. 8 (1): 21–66 (PDF)
- Jensen, Kurt (1997). Coloured Petri Nets. Springer Verlag (PDF)
- Ferscha, A., Haring, G. PETRI NET BASED MODELING OF PARALLEL PROGRAMS EXECUTING ON DISTRIBUTED MEMORY MULTIPROCESSOR SYSTEMS, Periodica Polytechnica Electrical Engineering, 35(3), pp. 193–219, 1991 (PDF)
- Counter-machine model (Wikipedia)
No comments:
Post a Comment