Семинар лаборатории ПОИС: Методы анализа реактивных распределённых систем на основе теории автоматов и сетей Петри
На очередном заседании нашего семинара выступила Лукьянова Елена Александровна, Крымский федеральный университет, доцент кафедры алгебры и функционального анализа. Тема её доклада: «Методы анализа реактивных распределённых систем на основе теории автоматов и сетей Петри»
Аннотация:
Разработаны теоретические основы построения теории и методологии моделирования и верификации параллельных распределённых систем на основе нового формализма – компонентной сети Петри