Исследование свойств документов MSC с помощью преобразования их в сети Петри
Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2009 |
| Main Authors: | Крывый, С.Л., Чугаенко, А.В., Матвеева, Л.Е. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/44496 |
| 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: | Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
by: Опанасенко, В.Н., et al.
Published: (2012)
by: Опанасенко, В.Н., et al.
Published: (2012)
О алгоритме перевода документов msc в сети Петри
by: Чугаенко, А.В., et al.
Published: (2008)
by: Чугаенко, А.В., et al.
Published: (2008)
Стандартизация инженерии систем и программных средств в Украине
by: Андон, Ф.И., et al.
Published: (2009)
by: Андон, Ф.И., et al.
Published: (2009)
Асимптотические свойства эмпирических оценок параметров марковских последовательностей
by: Вовк, Л.Б., et al.
Published: (2012)
by: Вовк, Л.Б., et al.
Published: (2012)
Оптимизация схем композиционных микропрограммных устройств управления, реализуемых на ПЛИС
by: Баркалов, А.А., et al.
Published: (2011)
by: Баркалов, А.А., et al.
Published: (2011)
Модификация системы адресации микрокоманд в устройстве управления с разделением кодов
by: Баркалов, А.А., et al.
Published: (2013)
by: Баркалов, А.А., et al.
Published: (2013)
Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС
by: Баркалов, А.А., et al.
Published: (2012)
by: Баркалов, А.А., et al.
Published: (2012)
Использование меньшего количества ресурсов кристалла FPGA в схеме автомата Мура
by: Баркалов, А.А., et al.
Published: (2013)
by: Баркалов, А.А., et al.
Published: (2013)
Мониторинг водных ресурсов на основе интеграции разнородных данных и высокопроизводительных вычислений
by: Кравченко, А.Н., et al.
Published: (2008)
by: Кравченко, А.Н., et al.
Published: (2008)
Эффективные по быстродействию алгортитмы передачи и приема высокоинформативных пакетов в радиосетях
by: Шевчук, Б.М.
Published: (2016)
by: Шевчук, Б.М.
Published: (2016)
Каркасное проектирование доменно-ключевой схемы реляционной базы данных
by: Панченко, Б.Е.
Published: (2012)
by: Панченко, Б.Е.
Published: (2012)
Приближенный метод сравнения модулярных чисел и его применение для деления чисел в системе остаточных классов
by: Червяков, Н.И., et al.
Published: (2014)
by: Червяков, Н.И., et al.
Published: (2014)
Теоретические и алгоритмические основы повышения эффективности пакетной передачи информации в высокоскоростных и защищенных радиосетях
by: Шевчук, Б.М.
Published: (2016)
by: Шевчук, Б.М.
Published: (2016)
Интегрированная технология интеллектуального управления рисками программных проектов
by: Слабоспицкая, О.А., et al.
Published: (2009)
by: Слабоспицкая, О.А., et al.
Published: (2009)
Непрерывная логика и алгоритмы решения некоторых комбинаторных задач
by: Левин, В.И.
Published: (2009)
by: Левин, В.И.
Published: (2009)
Метод арифметического сравнения данных, представленных в системе остаточных классов
by: Краснобаев, В.А., et al.
Published: (2016)
by: Краснобаев, В.А., et al.
Published: (2016)
Исследования доменно-ключевой схемы реляционной базы данных
by: Панченко, Б.Е.
Published: (2012)
by: Панченко, Б.Е.
Published: (2012)
Программно-алгоритмические методы повышения точности компьютерных решений
by: Николаевская, Е.А., et al.
Published: (2009)
by: Николаевская, Е.А., et al.
Published: (2009)
Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями
by: Панченко, Б.Е., et al.
Published: (2013)
by: Панченко, Б.Е., et al.
Published: (2013)
Фаза волновой функции квантового бита как ресурс для хранения и передачи информации
by: Войтович, И.Д., et al.
Published: (2014)
by: Войтович, И.Д., et al.
Published: (2014)
Теория надежной и защищенной передачи данных в сенсорных и локально-региональных сетях
by: Николайчук, Я.Н., et al.
Published: (2014)
by: Николайчук, Я.Н., et al.
Published: (2014)
Технология вычисления робастных нормированных корреляционных матриц
by: Алиев, Т.А., et al.
Published: (2011)
by: Алиев, Т.А., et al.
Published: (2011)
Вещественные вложения и скетчи для быстрой оценки расстояний и сходств
by: Рачковский, Д.А.
Published: (2016)
by: Рачковский, Д.А.
Published: (2016)
Самовоспроизводящаяся структура как искусственный многоклеточный организм
by: Ачасова, С.М.
Published: (2014)
by: Ачасова, С.М.
Published: (2014)
Исследование эмпирических оценок параметров гиббсовского распределения, полученных методом максимального правдоподобия
by: Самосёнок, А.С.
Published: (2013)
by: Самосёнок, А.С.
Published: (2013)
Распознавание сходства многоугольников в усиленной хаусдорфовой метрике
by: Шлезингер, М.И., et al.
Published: (2014)
by: Шлезингер, М.И., et al.
Published: (2014)
Построение весовых функций метода Петрова–Галёркина для уравнений конвекции–диффузии–реакции в трехмерном случае
by: Сальников, Н.Н., et al.
Published: (2014)
by: Сальников, Н.Н., et al.
Published: (2014)
Оценка сходства векторов по их рандомизированным бинарным проекциям
by: Рачковский, Д.А.
Published: (2015)
by: Рачковский, Д.А.
Published: (2015)
Синтез логических многополюсников с заданной динамикой выходных процессов
by: Левин, В.И.
Published: (2012)
by: Левин, В.И.
Published: (2012)
Алгоритмы определения коэффициента корреляции и взаимно корреляционной функции между полезным сигналом и помехой зашумленных технологических параметров
by: Алиев, Т.А., et al.
Published: (2011)
by: Алиев, Т.А., et al.
Published: (2011)
Наилучшая чебышевская аппроксимация функций одной и многих переменных
by: Каленчук-Порханова, А.А.
Published: (2009)
by: Каленчук-Порханова, А.А.
Published: (2009)
Реконструкция слов по конечному мультимножеству подслов в гипотезе сдвига 1. I. Реконструкция без запретов
by: Сметанин, Ю.Г., et al.
Published: (2014)
by: Сметанин, Ю.Г., et al.
Published: (2014)
Рандомизированные проекционные методы формирования бинарных разреженных векторных представлений
by: Рачковский, Д.А., et al.
Published: (2012)
by: Рачковский, Д.А., et al.
Published: (2012)
Метод нахождения всех корней системы нелинейных алгебраических уравнений, основанный на операторе Кравчика
by: Семенов, В.Ю.
Published: (2015)
by: Семенов, В.Ю.
Published: (2015)
Реляционный каркас и модель CASE-оболочки нового типа
by: Панченко, Б.Е., et al.
Published: (2013)
by: Панченко, Б.Е., et al.
Published: (2013)
Идентификация непараметрического сигнала при наличии случайного шума с сильной зависимостью
by: Била, Г.Д.
Published: (2016)
by: Била, Г.Д.
Published: (2016)
Основные принципы синтеза логико-лингвистических моделей
by: Вавиленкова, А.И.
Published: (2015)
by: Вавиленкова, А.И.
Published: (2015)
Преобразование векторных данных случайными бинарными матрицами
by: Рачковский, Д.А.
Published: (2014)
by: Рачковский, Д.А.
Published: (2014)
Робастные технологии вычисления нормированных корреляционных функций
by: Алиев, Т.А., et al.
Published: (2010)
by: Алиев, Т.А., et al.
Published: (2010)
Метод повышения достоверности контроля данных, представленных в системе остаточных классов
by: Краснобаев, В.А., et al.
Published: (2014)
by: Краснобаев, В.А., et al.
Published: (2014)
Similar Items
-
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
by: Опанасенко, В.Н., et al.
Published: (2012) -
О алгоритме перевода документов msc в сети Петри
by: Чугаенко, А.В., et al.
Published: (2008) -
Стандартизация инженерии систем и программных средств в Украине
by: Андон, Ф.И., et al.
Published: (2009) -
Асимптотические свойства эмпирических оценок параметров марковских последовательностей
by: Вовк, Л.Б., et al.
Published: (2012) -
Оптимизация схем композиционных микропрограммных устройств управления, реализуемых на ПЛИС
by: Баркалов, А.А., et al.
Published: (2011)