Реализация алгоритма преобразования неординарной сети Петри в ординарную
Описана програмна реалізація алгоритму перетворення неординарної мережі Петрі в ординарну. В основу програми покладено алгоритм, що був запропонований Хаком. Аалгоритм релізовано в програмному забезпеченні “Перетворювач мереж Петрі”, створеному на мові програмування C++Builder. Реализация алгоритм...
Saved in:
| Date: | 2004 |
|---|---|
| Main Authors: | Усатюк, О.В., Крывый, С.Л. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1679 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Реализация алгоритма преобразования неординарной сети Петри в ординарную /О.В. Усатюк, С.Л.Крывый// Проблеми програмування. — 2004. — N 2,3. — С. 81-88. — Бібліогр.: 5 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
by: Матвеева, Л.Е.
Published: (2004)
by: Матвеева, Л.Е.
Published: (2004)
Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
by: Лопатина, М.В.
Published: (2004)
by: Лопатина, М.В.
Published: (2004)
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)
by: Bača, J., et al.
Published: (2004)
Синтез автомата, специфицированного множеством дизъюнктов
by: Чеботарев, А.Н.
Published: (2003)
by: Чеботарев, А.Н.
Published: (2003)
Исследование свойств документов MSC с помощью преобразования их в сети Петри
by: Крывый, С.Л., et al.
Published: (2009)
by: Крывый, С.Л., et al.
Published: (2009)
О алгоритме перевода документов msc в сети Петри
by: Чугаенко, А.В., et al.
Published: (2008)
by: Чугаенко, А.В., et al.
Published: (2008)
Реализация автомата Мура на FPGA в виде сети Петри
by: Баркалов, А.А., et al.
Published: (2006)
by: Баркалов, А.А., et al.
Published: (2006)
Алгоритмическая и программная реализация алгоритма преобразования конусных проекций
by: Синьков, М.В., et al.
Published: (2006)
by: Синьков, М.В., et al.
Published: (2006)
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
by: Гломозда, Д.К., et al.
Published: (2018)
by: Гломозда, Д.К., et al.
Published: (2018)
Реализация операции умножения с использованием преобразования Уолша
by: Терещенко, А.Н., et al.
Published: (2010)
by: Терещенко, А.Н., et al.
Published: (2010)
О гомоморфизме компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2014)
by: Лукьянова, Е.А.
Published: (2014)
Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация
by: Фейзиев, Ф.Г.
Published: (2015)
by: Фейзиев, Ф.Г.
Published: (2015)
О структурних элементах компонентной сети Петри
by: Lukyanova, E.A.
Published: (2015)
by: Lukyanova, E.A.
Published: (2015)
О структурних элементах компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2012)
by: Лукьянова, Е.А.
Published: (2012)
Реализация алгоритма Евклида для задачи разделения секрета
by: Бояринова, Ю.Е., et al.
Published: (2004)
by: Бояринова, Ю.Е., et al.
Published: (2004)
Программная реализация проектируемой ортогональной сети доступа
by: Гайворонская, Г.С., et al.
Published: (2012)
by: Гайворонская, Г.С., et al.
Published: (2012)
Допустимые преобразования автомата, взаимодействующего со средой
by: Чеботарев, А.Н., et al.
Published: (2010)
by: Чеботарев, А.Н., et al.
Published: (2010)
Реализация контекста проектирования как обеспечение синтеза структуры алгоритма
by: Разумовский, А.И.
Published: (2009)
by: Разумовский, А.И.
Published: (2009)
Моделирование работы узла grid-системы на основе сетей Петри
by: Шелестов, А.Ю.
Published: (2008)
by: Шелестов, А.Ю.
Published: (2008)
Реализация алгоритма Флойда-Уоршалла для программно-аппаратной платформы CUDA
by: Погорелый, С.Д., et al.
Published: (2011)
by: Погорелый, С.Д., et al.
Published: (2011)
О сходимости обобщенного релаксационного итерационного алгоритма метода группового учета аргументов
by: Павлов, А.В., et al.
Published: (2012)
by: Павлов, А.В., et al.
Published: (2012)
Формализованные методы распараллеливания алгоритма Голдберга–Тарьяна
by: Погорелый, С.Д., et al.
Published: (2008)
by: Погорелый, С.Д., et al.
Published: (2008)
О сходимости rµ(α)-алгоритма
by: Стецюк, П.И., et al.
Published: (2015)
by: Стецюк, П.И., et al.
Published: (2015)
О зависимости качества машинного перевода текста от используемого преобразования Фурье
by: Собчук, В.В., et al.
Published: (2021)
by: Собчук, В.В., et al.
Published: (2021)
Реализация свертки с помощью рекурсивных процедур для реконструкционного 3D-алгоритма
by: Закидальский, А.И., et al.
Published: (2005)
by: Закидальский, А.И., et al.
Published: (2005)
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
Методологические аспекты формирования параллельно-иерархической сети для быстрой обработки динамических изображений
by: Кокряцкая, Н.И.
Published: (2014)
by: Кокряцкая, Н.И.
Published: (2014)
Стратегические преобразования в структурной организации розничной торговой сети Украины
by: Кавун, О.А.
Published: (2007)
by: Кавун, О.А.
Published: (2007)
Модификация алгоритма обучения К2 для задачи адаптации байесовской нейронной сети
by: Катеринич, С.А.
Published: (2006)
by: Катеринич, С.А.
Published: (2006)
Модифицированный программно-аппаратный метод быстрого преобразования конфигураций сложных символов объектов, движущихся в околоземном пространстве
by: Васюхин, И.И., et al.
Published: (2009)
by: Васюхин, И.И., et al.
Published: (2009)
Численная реализация метода конечных элементов с оптимальным выбором параметров, базисных функций и координат узлов элементов
by: Литвин, О.Н., et al.
Published: (2009)
by: Литвин, О.Н., et al.
Published: (2009)
Численная реализация в среде MATLAB итерационного алгоритма решения интегральных уравнений Урысона І рода
by: Мосенцова, Л.В.
Published: (2010)
by: Мосенцова, Л.В.
Published: (2010)
Универсальная сеть Петри
by: Зайцев, Д.А.
Published: (2012)
by: Зайцев, Д.А.
Published: (2012)
Коэволюционирующие нейронные сети прямого распространения
by: Руденко, О.Г., et al.
Published: (2016)
by: Руденко, О.Г., et al.
Published: (2016)
Реализация Treat алгоритма на основе сопоставления с образцом в программной оболочке CLIPS
by: Мажара, О.А.
Published: (2015)
by: Мажара, О.А.
Published: (2015)
Разработка алгоритма синтеза систем для решения задач классификации сигналов
by: Гавриленко, А.С.
Published: (2010)
by: Гавриленко, А.С.
Published: (2010)
Анализ алгоритма обнаружения движущихся с ускорением радиолокационных объектов на основе чирплет-преобразования
by: Галушко, В.Г., et al.
Published: (2017)
by: Галушко, В.Г., et al.
Published: (2017)
Анализ параллельного алгоритма синтеза эмпирических моделей на принципах генетических алгоритмов
by: Горбийчук, М.И., et al.
Published: (2016)
by: Горбийчук, М.И., et al.
Published: (2016)
Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Решение задачи равномерной нелинейной аппроксимации с использованием непрерывного генетического алгоритма
by: Вакал, Л.П.
Published: (2016)
by: Вакал, Л.П.
Published: (2016)
Similar Items
-
Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
by: Матвеева, Л.Е.
Published: (2004) -
Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
by: Лопатина, М.В.
Published: (2004) -
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004) -
Синтез автомата, специфицированного множеством дизъюнктов
by: Чеботарев, А.Н.
Published: (2003) -
Исследование свойств документов MSC с помощью преобразования их в сети Петри
by: Крывый, С.Л., et al.
Published: (2009)