РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (10)Журнали та продовжувані видання (1)
Пошуковий запит: (<.>U=З810.21$<.>)
Загальна кількість знайдених документів : 81
Представлено документи з 1 до 20
...
1.

Huseynzade Sh. S. Automation model of the adaptive control on Petri nets // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2018. - Вип. 1.
2.

Martynyuk O. N. Behavioral verification оf Internet of Things systems by Petri nets // Appl. Aspects of Inform. Technology. - 2019. - 2, № 4.
3.

Bourjij A.  Linear algebra and petri nets. — 2001 // Радіоелектроніка. Інформатика. Управління.
4.

Zlatkin S.  Mapping business processes models from Petri Nets into Event-driven Process Chains. — 2006 // Пробл. програмув.
5.

Paulin O. N. Method for constructing the model оf computing process based оn Petri net // Appl. Aspects of Inform. Technology. - 2019. - 2, № 4.
6.

Tynynyka A. N. Submission of algorithm for works sequences finding with Petri net // Інформатика та мат. методи в моделюванні. - 2017. - 7, № 1/2.
7.

Керницький А. Б. Інтеграція знань у САПР ТП із використанням високорівневих мереж Петрі. — 2010 // Вісн. Нац. ун-ту "Львів. політехніка".
8.

Стеценко І. Інтелектуальний компонент візуального програмування стохастичних мереж Петрі // Техн. науки та технології. - 2016. - № 4.
9.

Селецький В. С. Автоматизація формування поїзних перевізних документів на прикордонній сортувальній станції. — 2011 // Залізн. трансп. України.
10.

Гломозда Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками // Кибернетика и систем. анализ. - 2018. - 54, № 4.
11.

Матвеева Л. Е. Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри. — 2004 // Пробл. программирования.
12.

Стеценко И. В. Алгоритм имитации Петри-объектной модели. — 2012 // Мат. машини і системи.
13.

Кривий С. Л. Аналіз властивостей мереж Петрі // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Спец. вип.
14.

Барабаш О. В. Аналіз застосування мереж Петрі для підтримки функціональної стійкості інформаційних систем // Телекомунікац. та інформ. технології. - 2018. - № 1.
15.

Покозий Е. А. Анализ поведения параметрических временных сетей Петри. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
16.

Бохан К. А. Анализ сетей Петри в среде моделирования CPN Tools. — 2010 // Системи оброб. інформації.
17.

Матвеева Л. Е. Анализ сетей Петри с помощью инвариантов. — 2001 // Искусств. интеллект.
18.

Лопатина М. В. Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений. — 2004 // Пробл. программирования.
19.

Зайцев Д. А. Верификация коммуникационных структур гиперкуба параметрическими сетями Петри. — 2010 // Кибернетика и систем. анализ.
20.

Шмелева Т. Р. Верификация протоколов треугольных коммуникационных решеток бесконечными сетями Петри // Радіоелектроніка. Інформатика. Управління. - 2018. - № 4.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського