Наукова електронна бібліотека
періодичних видань НАН України

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

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Гломозда, Д.К.
dc.contributor.author Глибовец, Н.Н.
dc.contributor.author Максимец, А.Н.
dc.date.accessioned 2019-12-07T16:17:25Z
dc.date.available 2019-12-07T16:17:25Z
dc.date.issued 2018
dc.identifier.citation Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос. uk_UA
dc.identifier.issn 1019-5262
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/161378
dc.description.abstract Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов. uk_UA
dc.description.abstract Описано алгоритм перетворення кольорової мережі Петрі із якісними фішками на кольорову мережу Петрі із кількісними фішками зі збереженням обмеженості, взаємовиключності та живучості. Таке перетворення робить можливим застосування до кольорової мережі Петрі методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь. Працездатність алгоритму продемонстровано на прикладі кольорової мережі Петрі, яка моделює роботу грід-системи. Еквівалентність мережних моделей перевірено шляхом побудови та аналізу еквівалентних їм скінченних автоматів. uk_UA
dc.description.abstract The 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. uk_UA
dc.language.iso ru uk_UA
dc.publisher Інститут кібернетики ім. В.М. Глушкова НАН України uk_UA
dc.relation.ispartof Кибернетика и системный анализ
dc.subject Програмно-технічні комплекси uk_UA
dc.title Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками uk_UA
dc.title.alternative Автоматизація перетворення кольорових мереж петрі з якісними фішками на кольорові мережі петрі з кількісними фішками uk_UA
dc.title.alternative Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens / uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA
dc.identifier.udc 004.75


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис