Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Методы анализа.

Дерево достижимости- представляет множество достижимости сетей Петри.

Рассмотрим маркированную сеть Петри на [слайд] начальная маркировка и (1, 0, 0). Разрешены переходы t₁ и t₂. Рассмотрим возможные переходы и изменение маркировки в результате запуска переходов. Доля, помеченная занимаемым переходом приводит к начальной маркировке в каждую из новых маркировок.

Это может быть: терминальные вершины- нет разрешенных переходов.

дублирующия вершины – ранее встречающиеся в дереве.

Бесконечное дерево достижимости- со бесконечное число раз может быть запрошен переход t₁.

t1

t2

t3

0, 0,1

1, w, 0

0, w, 1

0, 1

Литература:

1. Полубедов В.С., Ткачев Е.А. Проектирование автоматизированных систем обработки и управления. Часть 1. – Серпухов: ИПК СВИ РВ, 2001. - 126 с.

2. Норенков И.П. Основы автоматизированного проектирования: Учеб. для вузов. 2-е изд. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. – 336 с.

3. Разработка САПР. Практич. пособие в 10 кн./ под ред. А.В. Петрова. – М.: Высшая школа, 1990.

4. Лескин А.А., Мальцев П.А., Спиридонов А.М. Сети Петри в моделировании и управлении.-Л:, Наука, 1989.-133 с.

5. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. –264 с.