Семинар лаборатории ПОИС: Методы анализа вложенных сетей Петри (часть 2) // Л. В. Дворянский
В понедельник (21-го октября) состоялось очередное заседание научного семинара лаборатории. С докладом по теме «Методы анализа вложенных сетей Петри» ("Methods of analysis for Nested Petri Nets") выступил Леонид Владимирович Дворянский, научный сотрудник лаборатории ПОИС, старший преподаватель кафедры Управления разработкой ПО Высшей школы экономики.
Доклад был посвящен изложению результатов, полученных для вложенных сетей Петри, были представлены инструментальные средства (ПО) для анализа вложенных сетей Петри.
подробнее...
Доклад был посвящен изложению результатов, полученных для вложенных сетей Петри, были представлены инструментальные средства (ПО) для анализа вложенных сетей Петри.
подробнее...