Семинар ПОИС: Простые алгоритмы анализа сетей Петри

На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Владимир Захаров. Тема его доклада: «Простые алгоритмы анализа сетей Петри»

В том случае, если не заботиться об оптимальности алгоритмов, решение некоторых задач анализа поведения сетей Петри (проблемы достижимости, покрытия, ограниченности и др.) может быть получено соответствии с некоторой простой и единообразной схемой. Об этой схеме рассказывается в статье "Recent and Simple Algorithms For Petri Nets" (Alain Finkel and Jerome Leroux) Software & Systems Modeling, May 2015, Volume 14, Issue 2, pp 719–725. Реферат этой статьи был представлен на семинаре.