Лекция 11. Сети Петри

Материалы к лекции:

• презентация: ссылка
• тест: ссылка
• форма для ответов: ссылка
• задание NetLogo: элементарные клеточные автоматы, обязательные упражнения 6, 8, 10: ссылка

Ресурсы:

Теория сетей Петри

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