Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками

Simple item page
dc.contributor.authorГломозда, Дмитрий
dc.contributor.authorГлибовец, Николай
dc.contributor.authorМаксимец, Александр
dc.date.accessioned2018-09-18T07:34:15Z
dc.date.available2018-09-18T07:34:15Z
dc.date.issued2018
dc.description.abstractОписан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.ru_RU
dc.description.abstractThe authors describe an algorithm for transformation of colored Petri nets with qualitative tokens into colored Petri net with quantitative tokens preserving boundedness, mutual exclusion, and liveness properties. This transformation allows an invariance method to be applied to colored Petri nets, which uses Truncated Set of Solutions finding algorithm for Petri net state equations expressed through systems of linear homogenous Diophantine equations. To show the algorithm’s efficiency, it is applied to the colored Petri net modeling the operation of a grid system. Equivalence of net models is tested by constructing and analyzing equal finite-state automata.en_US
dc.identifier.citationГломозда Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец // Кибернетика и системный анализ : международный научно-теоретический журнал. - 2018. - Т. 54, № 4. - С. 151-163.ru_RU
dc.identifier.issn1019-5262
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/13942
dc.language.isoruru_RU
dc.relation.sourceКибернетика и системный анализ : международный научно-теоретический журнал. - 2018. - Т. 54, № 4ru_RU
dc.statusfirst publisheduk_UA
dc.subjectраскрашенные сети Петриru_RU
dc.subjectдиофантовые уравненияru_RU
dc.subjectконечные автоматыru_RU
dc.subjectгрид-структураru_RU
dc.subjectстатьяru_RU
dc.subjectcolored Petri netsen_US
dc.subjectDiophantine equationsen_US
dc.subjectfinite-state machinesen_US
dc.subjectgrid structureen_US
dc.titleАвтоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишкамиru_RU
dc.title.alternativeAutomating the transformation of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokensen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Hlomozda_Avtomatyzatsyia_preobrazovanyia.pdf
Size:
950.42 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Кафедра інформатики