Студопедия  
Главная страница | Контакты | Случайная страница

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

Линстедт, Дэн (Linstedt, Dan)

Читайте также:
  1. Линстедт, Дэн (Linstedt, Dan)
  2. Линстедт, Дэн (Linstedt, Dan)

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

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

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

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

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

                                                 
   
     
     
     
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 с.

 

 

Линстедт, Дэн (Linstedt, Dan)

Translated by:




Дата добавления: 2014-12-15; просмотров: 21 | Поможем написать вашу работу | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав