Читайте также: |
|
Дерево достижимости- представляет множество достижимости сетей Петри.
Рассмотрим маркированную сеть Петри на [слайд] начальная маркировка и (1, 0, 0). Разрешены переходы t1 и t2. Рассмотрим возможные переходы и изменение маркировки в результате запуска переходов. Доля, помеченная занимаемым переходом приводит к начальной маркировке в каждую из новых маркировок.
Это может быть: терминальные вершины- нет разрешенных переходов.
дублирующия вершины – ранее встречающиеся в дереве.
Бесконечное дерево достижимости- со бесконечное число раз может быть запрошен переход t1.
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
Литература:
1. Полубедов В.С., Ткачев Е.А. Проектирование автоматизированных систем обработки и управления. Часть 1. – Серпухов: ИПК СВИ РВ, 2001. - 126 с.
2. Норенков И.П. Основы автоматизированного проектирования: Учеб. для вузов. 2-е изд. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. – 336 с.
3. Разработка САПР. Практич. пособие в 10 кн./ под ред. А.В. Петрова. – М.: Высшая школа, 1990.
4. Лескин А.А., Мальцев П.А., Спиридонов А.М. Сети Петри в моделировании и управлении.-Л:, Наука, 1989.-133 с.
5. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. –264 с.
Линстедт, Дэн (Linstedt, Dan)
Translated by:
Дата добавления: 2014-12-15; просмотров: 21 | Поможем написать вашу работу | Нарушение авторских прав |