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