Вводится понятие параметрических временных сетей Петри, которые обобщают временные сети Петри. В таких сетях на переходы наложены параметрические ограничения, а параметры представляют собой символические константы с неизвестными фиксированными значениями. Предложен алгоритм анализа временного поведения систем реального времени, использующий язык темпоральной логики TCTL и безопасная параметрическая временная сеть Петри.

Программная или аппаратная система представлена в виде модели посредством формальной спецификации с помощью сети Петри (СП). Полученный продукт описывает поведение и структуру данной системы, и может быть проанализирован, верифицирован, а также использован для установления требуемых свойств системы. Описано применение формализма СП к исследованию некоторых свойств телефонной системы, основанное на построении и анализе S- и Т-инвариантов.

Індекс рубрикатора НБУВ: З810.21 + Ж.с11

Рубрики:

Мережі Петрі

Математичні методи

Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ 

Рассмотрено применение ТSS-алгоритма построения минимального порождающего множества решений системы линейных диофантовых уравнений к анализу сетей Петри. В частности, с помощью этого алгоритма строятся минимальные множества инвариантов сетей Петри.

Висвітлено теорію масового обслуговування, описано властивості мереж Петрі та особливості їх застосування для моделювання. Запропоновано марківські моделі обчислювальних процесів, а також методи оцінки мінімальної швидкодії процесора. Охарактеризовано принципи оцінювання трудомісткості алгоритмів, наведено методику оцінки часу обслуговування в мережах і на маршрутизаторах.

Освещена теория массового обслуживания, описаны свойства сетей Петри и особенности их использования для моделирования. Предложены марковские модели вычислительных процессов, а также методы оценки минимального быстродействия процессора. Охарактеризованы принципы оценивания трудоемкости алгоритмов, приведена методика оценки времени обслуживания в сетях и на маршрутизаторах.

Зазначено, що за останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного тестування програмних і технічних систем, зокрема телекомунікаційних протоколів. Запропоновано автоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальну модель системи побудовано у вигляді ординарної мережі Петрі. Аналіз системи виконано за допомогою методів лінійної алгебри.

Розглянуто методи оптимізації деяких алгоритмів розв'язання систем лінейних діофантових рівнянь за допомогою булевих перетворень. Наведені оптимізації використовуються в ході реалізації алгоритмів на програмній мові та зменшують у загальному випадку час роботи алгоритму на порядок у порівнянні з іншими реалізаціями.

Розглянуто задачу розбиття довільної заданої мережі Петрі на функціональні підмережі. Досліджено властивості функціональних підмереж і множин, що їх породжують. Побудовано алгоритм декомпозиції, що має поліноміальну складність.

Надано розширення стохастичних мереж Петрі, що дозволяє описувати в термінах цих мереж динаміку немарковських процесів випадкової структури стохастичних систем, елементи (стохастичні підсистеми) яких мають імовірнісні зв'язки. Новизну запропонованої моделі визначено внесенням структурних змін простої мережі Петрі (введенням стримувальної подійної гіпердуги), правилами пуску переходів, набором додаткових атрибутів та їх взаємозв'язком. Модель можна застосовувати як основу для аналізу та синтезу складних систем автоматичного керування за умов невизначеності.

Розглянуто питання побудови нечітких математичних моделей, що грунтуються на множині класів інтегрованих нейро-фазі мереж Петрі. Визначено критерії та правила раціонального вибору базових мереж моделей систем обчислювального інтелекту. Наведено рекомендації практичного застосування запропонованих підходів, орієнтованих на промислове будівництво.

Описано програмну реалізацію алгоритму перетворення неординарної мережі Петрі в ординарну. В основу програми покладено алгоритм, запропонований Хаком. Алгоритм реалізовано в програмному забезпеченні "Перетворювач мереж Петрі", створеному на мові програмування C++Builder.

Розроблено мережі Петрі для різних обчислювальних систем. Запропонований підхід дозволяє розширити коло завдань, для вирішення яких ефективно застосовувати методи аналізу, розроблені в теорії мереж Петрі.

The intention of the paper is to study a category-theoretic characterization of a semantic representation of the behaviour of time Petri nets, which are a time extension of heavily used model for concurrency - Petri nets. First, we introduce a notion of unfolding of a time Petri net and then provide its category-theoretic characterization.

Індекс рубрикатора НБУВ: В152.241 + З810.21

Рубрики:

Інваріанти

Мережі Петрі

Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ 

Запропоновано розв'язок задач налагоджування вимірювальної системи, яка містить декілька різних класів датчиків і функціонує за умов великої апріорної невизначеності. Наведено адаптивний алгоритм структурної та параметричної оптимізації на базі мереж Петрі для цих вимірювальних систем.

Построена модель одноуровневой коммутируемой сети, инвариантная по отношению к топологии. Модель представлена раскрашенной сетью Петри. Основными параметрами модели являются: упакованная матрица топологии сети, таблица запросов рабочих станций к серверам, времена передачи фреймов и обработки запросов. Для отладки модели и сбора статистической информации использована система CPN Tools.

Предложена модель нейронного модуля в рамках модели стохастической системы на базе сетей Петри. Данная модель созвучна концепции модульной организации сознания.

Викладено базові поняття апарату нечітких мереж Петрі та його відмінності від кольорових і багатобарвних таких мереж. На прикладі одноконтурної нечіткої системи регулювання з двома вхідними й одним вихідним параметром продемонстровано принципи побудови моделей на нечітких мережах Петрі з пріоритетами. Відзначено аналогію з нейронними мережами.

Изложена идея создания модифицированной сети Петри для моделирования параллельных процессов в многовариантных разветвлённых структурах. Рассмотрено применение модификации сети Петри к решению оптимизационных задач о коммивояжере и стохастического сетевого планирования.

Надано основи композиційного аналізу мереж Петрі, що грунтується на знаходженні властивостей заданої мережі Петрі за допомогою властивостей функціональних підмереж. Композиційний аналіз охоплює дослідження поведінкових та структурних властивостей мереж Петрі за допомогою матричних методів, що використовують фундаментальне рівняння та інваріанти. Одержано прискорення обчислень, експоненційне стосовно розмірності мереж.