Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

у знайденому

Знайдено у інших БД:

Каталог книг (1)

Мережеві ресурси (1)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=сети Петри<.>

Загальна кількість знайдених документів : 23
Показані документи с 1 за 20

1-20 21-23

Данько, М. І.
Узагальнена схема перевізного процесу залізницями України та її моделювання на кольрових мережах Петрі / М.І. Данько // Інформ.-керуючі системи на залізн. трансп. - 2005. - №3. - С. 57-60

УДК

656.2.05

Кл.слова (ненормовані):
ПЕРЕВОЗКИ ЖЕЛЕЗНОДОРОЖНЫЕ -- СЕТИ ПЕТРИ

Є примірники у відділах:
ЧЗНЛ (20.09.2005р. Інв.И2-05-03 - Б.ц.) (вільний)

Знайти схожі

Загарий, Г. И.
Исследование дискретно- событийных систем железнодорожного транспорта. Часть 1. Алгебра сетей Петри ( обзор ) / Г.И. Загарий, Е.В. Тимошенко // Інформ.-керуючі системи на залізн. трансп. - 2005. - №3. - С. 70-74

УДК

656.25

Кл.слова (ненормовані):
АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ -- СЕТИ ПЕТРИ

Дод.точки доступу:
Тимошенко, Е.В.
Є примірники у відділах:
ЧЗНЛ (20.09.2005р. Інв.И2-05-03 - Б.ц.) (вільний)

Знайти схожі

Альошинський, Є. С.
Розробка моделі функціонування системи залізничних вантажних перевезень в міжнародних транспортних коридорах / Є. С. Альошинський // Інформ.-керуючі системи на залізн. трансп. - 2008. - № 2. - С. 31-35 : ил.

УДК

656.225.001.57

Рубрики: ТРАНСПОРТНЫЕ КОРИДОРЫ
   ПЕРЕВОЗКИ ГРУЗОВЫЕ
   ТРАНСПОРТНІ КОРИДОРИ
   ПЕРЕВЕЗЕННЯ ВАНТАЖНІ
Кл.слова (ненормовані):
ТРАНСПОРТНЫЕ КОРИДОРЫ -- ПЕРЕВОЗКИ ГРУЗОВЫЕ -- МОДЕЛИРОВАНИЕ -- СЕТИ ПЕТРИ -- ТРАНСПОРТНІ КОРИДОРИ -- ПЕРЕВЕЗЕННЯ ВАНТАЖНІ -- МОДЕЛЮВАННЯ -- МЕРЕЖІ ПЕТРІ
Анотація: Предложена логистическая и структурно-логическая схемы транспортного комплекса доставки <грузов> при <международных> железнодорожных перевозках. С использованием <сетей> <Петри> построена имитационная модель основных направлений транспортных потоков в пределах международных железнодорожных коридоров.

Є примірники у відділах:
ЧЗНЛ (31.07.2008р. Інв.И2-08-2 - Б.ц.) (вільний)

Знайти схожі

Селецький, В. С. (кандидат технічних наук; провідний інженер; ІОЦ Львівська залізниця, м. Львів).
Застосування математичного апарату мереж Петрі на залізничному транспорті / В. С. Селецький // Залізничний транспорт України : науково-практичний журнал. - 2009. - № 2. - С. 3-6 : табл., схем., рис. - Бібліогр. в кінці ст.

УДК

656.212.5.073.001.57

Рубрики: Железнодорожный транспорт
   Сортировочные станции
   Залізничний транспорт
   Сортувальні станції
Кл.слова (ненормовані):
железнодорожный транспорт -- сортировочные станции -- сортировочные горки -- технологические процессы -- управление технологическими процессами -- расформирование поездов -- подсистема расформирования -- моделирование математическое -- сети Петри -- динамическая таблица -- рациональный выбор -- залізничний транспорт -- сортувальні станції -- сортувальні гірки -- технологічні процеси -- управління технологічними процесами -- розформування поїздів -- підсистема розформування -- моделювання математичне -- мережі Петрі -- динамічна таблиця -- раціональний вибір
Анотація: Розглянуто модель підсистеми розформування поїздів на сортувальній станції при нестабільній роботі за допомогою запропонованих часово - предикатних мереж Петрі.

Утримувачі документа:
ДНУЗТ
Є примірники у відділах:
ЧЗНЛ (25.05.2009р. Інв.2634ж - Б.ц.) (вільний)

Знайти схожі

Лаба, А. І.
Математична модель роботи маневрових локомотивів на сортувальній станції Львів / А. І. Лаба, В. С. Селецький // Інформ.-керуючі системи на залізн. трансп. - 2009. - № 2. - С. 34-37 : схем., табл., граф. - Бібліогр. в кінці ст.

УДК

629.421.4.001.57

656.212.5

Рубрики: Локомотивы маневровые
   СОРТИРОВОЧНЫЕ СТАНЦИИ
   Локомотиви маневрові
   СОРТУВАЛЬНІ СТАНЦІЇ
Кл.слова (ненормовані):
ЛОКОМОТИВЫ МАНЕВРОВЫЕ -- СОРТИРОВОЧНЫЕ СТАНЦИИ -- МОДЕЛИРОВАНИЕ МАТЕМАТИЧЕСКОЕ -- СЕТИ ПЕТРИ -- ЛОКОМОТИВИ МАНЕВРОВІ -- СОРТУВАЛЬНІ СТАНЦІЇ -- МОДЕЛЮВАННЯ МАТЕМАТИЧНЕ -- МЕРЕЖІ ПЕТРІ

Дод.точки доступу:
Селецький, В.С.
Є примірники у відділах:
ЧЗНЛ (11.06.2009р. Інв.2657ж - Б.ц.) (вільний)

Знайти схожі

Лаба, А. І.
Робота маневрових локомотивів при нестабільній роботі сортувальної станції / А. І. Лаба, В. С. Селецький // Інформ.-керуючі системи на залізн. трансп. - 2009. - № 3. - С. 37-40 : рис., табл. - Бібліогр. в кінці ст.

УДК

656.212.4

629.421.4

Рубрики: СОРТИРОВОЧНЫЕ СТАНЦИИ
   МАНЕВРОВАЯ РАБОТА
   СОРТУВАЛЬНІ СТАНЦІЇ
   МАНЕВРОВА РОБОТА
Кл.слова (ненормовані):
СОРТИРОВОЧНЫЕ СТАНЦИИ -- МАНЕВРОВАЯ РАБОТА -- ЛОКОМОТИВЫ МАНЕВРОВЫЕ -- МОДЕЛИРОВАНИЕ -- СЕТИ ПЕТРИ -- СОРТУВАЛЬНІ СТАНЦІЇ -- МАНЕВРОВА РОБОТА -- ЛОКОМОТИВИ МАНЕВРОВІ -- МОДЕЛЮВАННЯ -- МЕРЕЖІ ПЕТРІ

Дод.точки доступу:
Селецький, В.С.
Є примірники у відділах:
ЧЗНЛ (08.09.2009р. Інв.2859ж - Б.ц.) (вільний)

Знайти схожі

   06
   У 68

    Козлов, А. Б.
    Совершенствование организации производства промышленного железнодорожного транспорта на основе экономико-математического моделирования (на примере Уралпромжелдортранс) / А. Б. Козлов // Сб. науч. ст./ Уральский госуд. ун-т путей сообщения. - Екатеринбург, 2010. - Вып. 81 : Организация производства. Региональная транспортная логистика. - С. 55-67

УДК

656.3

Рубрики: Промышленный железнодорожный транспорт
Промисловий залізничний транспорт
Кл.слова (ненормовані):
промышленный железнодорожный транспорт -- экономико-математическое моделирование -- организация производства -- сети Петри -- управление производственными процессами -- промисловий залізничний транспорт -- економіко-математичне моделювання -- організація виробництва -- мережі Петрі -- управління виробничими процесами

Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

   06
   У 45

    Пузир, В. Г.
    Застосування мереж Петрі для опису функціонування електронного паспорту локомотива / В. Г. Пузир, В. М. Обозний // Збірник наукових праць Української державної академії залізничного транспорту. - Х., 2010. - Вип. 117. - С. 98-102

УДК

629.42

Рубрики: ЛОКОМОТИВЫ
ЛОКОМОТИВИ
Кл.слова (ненормовані):
электронные паспорта -- сети Петри -- маркировка -- диагностирование -- електронні паспорти -- мережі Петрі -- маркування -- діагностування

Дод.точки доступу:
Обозний, В.М.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

   656.2
   Д 67

    Ломотько, Д. В.
    Удосконалення технології роботи ПогранТЕК і контори передачі прикордонної передатної станції Харків-Сортувальний з використанням мереж Петрі / Д. В. Ломотько, Ю. К. Бровко // Збірник наукових праць / Донецький інститут залізничного транспорту УкрДАЗТ. - Донецьк, 2008. - Вип. 13. - С. 27-35

УДК

656.213

Рубрики: Железнодорожный транспорт
   Залізничний транспорт
   Харьков
    Харків
Кл.слова (ненормовані):
железнодорожный транспорт -- пограничные станции -- приграничные станции -- передаточные станции -- сети Петри -- залізничний транспорт -- прикордонні станції -- передатні станції -- мережі Петрі

Дод.точки доступу:
Бровко, Ю. К.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

10.

Селецький, В. С. (кандидат технічних наук; ІОЦ Львівська залізниця).
Автоматизація формування поїзних перевізних документів на прикордонній сортувальній станції / В. С. Селецький // Залізничний транспорт України : науково-практичний журнал. - 2011. - № 3. - С. 58-61 : рис., табл. - Бібліогр. в кінці ст.

УДК

656.212.5

Рубрики: Железнодорожный транспорт
   Сортировочные станции
   Залізничний транспорт
   Сортувальні станції
   Украина
    Львов
    Україна
    Львів
Кл.слова (ненормовані):
железнодорожный транспорт -- сортировочные станции -- автоматизированные рабочие места -- АРМ -- приграничные станции -- автоматизация железнодорожного транспорта -- сортировочные горки -- поездные перевозочные документы -- сети Петри -- расформирования поездов -- формирование поездов -- автоматизированные системы управления -- залізничний транспорт -- сортувальні станції -- автоматизовані робочі місця -- прикордонні станції -- автоматизація залізничного транспорту -- сортувальні гірки -- поїзні перевізні документи -- мережі Петрі -- розформування поїздів -- формування поїздів -- автоматизовані системи управління
Анотація: Розроблено модель формування поїзних перевізних документів на прикордонній сортувальній станції за допомогою розширенного математичного апарату мереж Петрі. Запропоновано нову технологію формування поїзних перевізних документів на прикордонній сортувальній станції при відсутності КСЕОД.

Утримувачі документа:
ДНУЗТ

Дод.точки доступу:
Львівська залізниця \про неї\

Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі

11.

   656.2
   С 56

    Переста, Г. І.
    Використання мережі Петрі в процесі дослідження роботи транспортного вузла / Г. І. Переста, Є. В. Іващенко, С. І. Музикіна // Современные информационные технологии на транспорте, в промышленности и образовании : тез. Междунар. науч.-практ. конф. (12.05.2011-13.05.2011) / М-во инфраструктуры Украины, Днепропетровский национальный университет железнодорожного транспорта им. академика В.Лазаряна, Восточный научный центр транспортной академии Украины. - Днепропетровск, 2011. - С. 22-23

УДК

656

Рубрики: Транспорт
Кл.слова (ненормовані):
транспортные узлы -- сети Петри -- транспортні вузли -- мережі Петрі -- ТРУДЫ ДИИТА -- ПРАЦІ ДІІТУ -- КУЕР

Дод.точки доступу:
Іващенко, Є. В.; Иващенко, Е. В.; Музикіна, С. І.; Музыкина С. И.; Переста, Г. И.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

12.

Селецький, В. С.
Розширення мереж Петрі. Частина II. Обгрунтування, властивості і аналіз / В. С. Селецький // Інформ.-керуючі системи на залізн. трансп. - 2011. - № 6. - С. 31-36

УДК

656.222.3:004

Рубрики: Железнодорожный транспорт
   Сортировочные станции
   Залізничний транспорт
   Сортувальні станції
Кл.слова (ненормовані):
железнодорожный транспорт -- сортировочные станции -- сети Петри -- формирование поездов -- разформирование поездов -- моделирование технологических процессов -- залізничний транспорт -- сортувальні станції -- мережі Петрі -- формування поїздів -- розформування поїздів -- моделювання технологічних процесів

Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі

13.

Кузьмін, Олег Євгенович (диретор Інституту економіки і менеджменту; завідувач кафедри менеджменту і міжнародного підприємництва Національного університету "Львівська політехніка"; м.Львів; Україна; доктор економічних наук; професор; Заслужений працівник народної освіти України).
Деякі задачі моделювання ресурсів виробничих систем мережами Петрі / О. Є. Кузьмін, П. Р. Базилевич // Актуальні проблеми економіки : Науковий економічний журнал. - 2012. - № 12. - С. 207-216 : схем. - Бібліогр. в кінці ст. - Статтю підготовлено на основі доповіді на 11-му міжнародному науковому семінарі "Сучасні проблеми інформатики в управлінні, економіці, освіті та екології" (2-7 липня 2012 р.; Київ). - В ОБЛ. БІБЛІОТЕЦІ

ББК 65.39в6-2
Рубрики: Экономика
   Економіка
   Экономика информатики
   Економіка інформатики
Кл.слова (ненормовані):
бизнес-процессы -- бізнес-процеси -- производственные системы -- виробничі системи -- дерево достижимости -- дерево достижимости -- дискретные асинхронные системы -- дискретні асинхронні системи -- математические абстракции -- математичні абстракції -- процессный подход -- процесний підхід -- производственные системы -- виробничі системи -- сети Петри -- Петри сети -- мережі Петрі -- Петрі мережі -- системные ресурсы -- системні ресурси -- ситауционный анализ -- ситуаційний аналіз -- терминология -- термінологія -- экономическое моделирование -- економічне моделювання
Анотація: Описано основні особливості мереж Петрі, які можуть бути використані для моделювання, аналізу та проектування виробничих систем. Визначено можливості їх застосування для виявлення таких властивостей, як "безпечність", "обмеженість", "активність", "зберігальність", "оберненість", "досяжність", "покривалість". Наведено приклади застосування для аналізу деяких задач моделювання ресурсів систем. Побудовано дерева досяжності, що відображають простори станів з усіма можливими ситуаціями, в які може увійти бізнес-процес при функціонуванні, включно з послідовністю їх утворення.

Утримувачі документа:
Днепропетровская ЦГБ : г.Днепропетровск, ул. Ленина, 23

Дод.точки доступу:
Базилевич, Петро Романович (аспірант Інституту економіки і менеджменту Національного університету "Львівська політехніка"; м.Львів; Україна); днепропетровский автор, но не о ДнепропетровскеСовременные проблемы информатики в управлении, экономике, образовании и экологии, международный научный семинар \о нем\

Знайти схожі

14.

Мироненко, В. (доктор технічних наук; ДЕТУТ).
Математичні моделі пропускної спроможності системи контейнерних терміналів / В. К. Мироненко, Н. М. Алексійчук // Залізничний транспорт України : науково-практичний журнал. - 2013. - № 1. - С. 3-7 : рис., табл. - Бібліогр. в кінці ст.

УДК

656.225.073.235:519.87

15.

Селецький, В. С.
Розширення мереж Петрі. Частина III. Перетворення мереж Петрі і програмування / В. С. Селецький // Інформ.-керуючі системи на залізн. трансп. - 2013. - № 6. - С. 26-30. - Бібліогр. в кінці ст.

УДК

681

Рубрики: Точная механика
   Точна механіка
   Програмування
   Программирование
Кл.слова (ненормовані):
точная механика -- точна механіка -- мережі Петрі -- сети Петри -- транспортні системи -- транспортные системы -- інформаційні системи -- информационные системы -- розформування поїздів -- расформирования поездов -- сортувальні гірки -- сортировочные горки

Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі

16.

Мінакова, Світлана (кандидат економічних наук).
Моделювання навчального процесу в логістичних системах за допомогою вкладених мереж Петрі / С. Мінакова // Економіст : науково-практичний журнал. - 2014. - № 10. - С. 61-62 : рис. - Библиогр. в конце ст. - В ОБЛ. БІБЛІОТЕЦІ. - В ОБЛ. БІБЛІОТЕЦІ

УДК

330.1

ББК 65.01
Рубрики: Экономика
   Общая экономическая теория
   Економіка
   Загальна економічна теорія
Кл.слова (ненормовані):
навчальний процес -- учебный процесс -- моделювання навчального процесу -- моделирование учебного процесса -- логістичні системи -- логистические системы -- вкладені мережі Петрі -- вложенные сети Петри -- мережі Петрі -- сети Петри -- Петрі мережі -- Петри сети -- моделі навчання -- модели обучения -- центральна система -- центральная система -- набір систем сателітів -- набор систем сателитов -- дистанційне навчання -- дистанционное обучение
Анотація: Пропонується дворівнева модель навчання, яка складається із центральної системи і набору систем-сателітів, що моделюють індивідуальну поведінку учнів.

Утримувачі документа:
КЗК ДОУНБ

Знайти схожі

17.

Крывый, С. Л.
Экосистемы программной инженерии / С. Л. Крывый, Е. А. Гриненко // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - Том 56, № 4. - С. 128-143. - Библиогр. в конце ст.

УДК

51:681.3

Рубрики: Математика
Вычислительная техника
Обчислювальна техніка
Кл.слова (ненормовані):
экосистема -- екосистема -- транзиционные системы -- транзиційні системи -- конечные автоматы -- скінченні автомати -- временные автоматы -- часові автомати -- сети Петри -- мережі Петрі

Дод.точки доступу:
Гриненко, Е. А.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

18.

Погорілий, С. Д.
Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах / С. Д. Погорілий, М. С. Слинько // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - Том 56, № 4. - С. 196-202. - Бібліогр. в кінці ст.

УДК

004.4

Рубрики: Інформаційні технології
Информационные технологии
Кл.слова (ненормовані):
транзиційні системи -- транзиционные системы -- системи алгоритмічних алгебр -- системы алгоритмических алгебр -- GPGPU-системи -- GPGPU-системы -- мережі Петрі -- сети Петри

Дод.точки доступу:
Слинько, М. С.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

19.

Gurskiy, A. A.
Algorithms for tuning of the coordinating automatic control systems / A. A. Gurskiy, A. E. Goncharenko, S. M. Dubna // Радіоелектроніка, інформатика, управління : науковий журнал. - 2020. - № 1. - P190-199 : рис. - Библиогр. в конце ст. . - ISSN 1607-3274

УДК

681.513

Рубрики: Автоматика
Кл.слова (ненормовані):
Petri net -- мережі Петрі -- сети Петри -- coordination of transient processe -- узгодження процесів -- согласование процессов -- ratio control -- регулювання співвідношення -- регулировка соотношения -- algorithms of tuning -- алгоритми настроювання -- алгоритмы настройки

Дод.точки доступу:
Goncharenko, A. E.; Dubna, S. M.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

20.

Мироненко, В.
Моделювання пропускної спроможності системи контейнерних перевезень / В. Мироненко, Н. Алексійчук // Збірник наукових праць / Держ. економіко-технол. ун-т трансп. - Київ, 2012. - Вип. 21: Транспортні системи і технології. - С. 168-176 : рис., а-табл. - Бібліогр. в кінці ст.

УДК

656.225.073.235

Рубрики: Вантажні перевезення
Грузовые перевозки
Кл.слова (ненормовані):
контейнерні перевезення -- контейнерные перевозки -- контейнерні поїзди -- контейнерные поезда -- контейнерні термінали -- контейнерные терминалы -- сортувальна станція -- сортировочная станция -- прикордонна станція -- пограничная станция -- пропускна спроможність -- пропускная способность -- система масового обслуговування -- система массового обслуживания -- мережі Петрі -- сети Петри

Дод.точки доступу:
Мироненко, В. К. \ред.\; Алексійчук, Н.; Державний економіко-технологічний університет транспорту(Київ)
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

1-20 21-23

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)