Наукова періодика України | Кібернетика та системний аналіз | ||
Гломозда Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец // Кибернетика и системный анализ. - 2018. - Т. 54, № 4. - С. 151-163. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_4_15 Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов. Цитованість авторів публікації: Бібліографічний опис для цитування: Гломозда Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец // Кибернетика и системный анализ. - 2018. - Т. 54, № 4. - С. 151-163. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_4_15.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |