Структурные свойства Bременых Сетей Петри
|
СтатусДиссертация была зашищена 14 сентября 2007Утверждена Национальным Советом 18 октября 2007 Автореферат – 0.35 Mb / на румынскомДиссертацияCZU 519.7(043.2)
1.48 Mb /
на румынском119 страниц |
Ключевые слова
Сеть Петри, маркировка, последовательность переходов, дерево досягаемости, техника инвариантов, робочие потоки, Временыe сети Петри с потоками, Временые сети Петри со скачками, процессыАннотация
Развитие технологий в разных отраслях инженерии, таких как: область производственных систем, транспортные системы, коммуникационные системы, операционные системы и посвященные софт платформы, так и процедурный контроль большого класса автоматизированных процессов ускоряют развитие формализмов, которые способны проверять свойства этих систем. Сети Петри оказались особенно гибкими при разрешении с их помощью различных практических задач, а также предоставляют широкие возможности для расширения областей применения при рассмотрении их с некоторых точек зрения повышенной сложности. Внедрение параметра времени одна из этих точек зрения.
В данной диссертации были получены следующие результаты:
- Сформулированы определения класса временных сетей Петри со скачками и структуры покрытия для них.
- Сформулировано определение класса временных сетей Петри для рабочих потоков и определение понятия корректности для них.
- Выполнено доказательство теорем, которые показывают связь между живостью, ограничением и корректностью временных сетей Петри для рабочих потоков.
- Выполнено доказательство теоремы о разрешимость задачи корректности для временных сетей Петри для рабочих потоков. . Определены процессы для временных сетей Петри для рабочих потоков.
Результаты данной диссертации имеют инновационный характер и могут быть использованы для дальнейших исследований в этой области.
Официальные оппоненты
- Ion Bolun
доктор хабилитат, профессор - Emilian Guţuleac
доктор хабилитат, профессор, Технический Университет Молдовы
Диссертации
На рассмотрении [1] :
- Использование информационных технологий в разработке криптографических и алгебраических алгоритмов
21 апреля 2023
Архив диссертаций:
