Графы сценария системы, соответствующие маркированным графам, назовем простыми графами сценария системы. Простой граф сценария системы является деревом.
Рассмотрим фрагмент сценария проекта задачи построения корневого годографа системы (Р9) по заданным передаточной функции системы (Р1), частотной характеристике системы (Р2), требуемому качеству (Р3). С помощью процедуры PFK(t1) исходная система, заданная передаточной функцией, приводится к форме Коши
(Р5). По найденному с помощью модуля t2 закону управления (Р6), выбрaнному коэффициенту усиления (Р4) проводим замыкание системы
(ZMK - t3). Используя сведения об области доминирования на S плоскости (Р8) находим моды (нули и полюса) (Р9) замкнутой системы (Р7). (см. рис.2.4).
Процесс проектирования можно представить выполнением сети
Петри системы. Начальная маркировка определяется тем множеством входных моделей, которые заданы техническим заданием. Процесс проектирования заканчивается при наличии хотя бы одной фишки в позициях, которые соответствуют выходным моделям проекта.
Предлагаемый подход можно распространить на проектные процедуры, в которых выполнение следующей проектной операции
(модуля) зависит от вида модели, полученной при выполнении предыдущей проектной операции.
Пусть в результате выполнения проектной операции (модуля), описываемой вершиной двудольного графа G=<V,U>, может быть получена в зависимости от входных моделей:
одна из d(d>=2, случай d=1
рассмотрен выше ) выходных моделей : vjm, или vjm+1, или..., или
vjm+d-1, {vjm,vjm +1,...,vjm+d-1}СV2.
Поставим в соответствие графу сценария G сеть Петри следующего вида (рис 2.5).
1. Аналогично сценарию проекта, где каждый модуль имеет единственную выходную модель, каждой позиции соответствует модель, а каждому переходу - модуль. Тогда множество позиций P
поставим в соответствие множеству моделей V2, а множество переходов - множеству модулей V1.
Позиция является входной позицией перехода
, если дуга (pi,tj) принадлежит U - множеству дуг модельного графа G=<V,U>.
Позиция является выходной позицией перехода
, если дуга (tj,pi) принадлежит U. То есть:
P'=V2; T'=V1; O' и I' :
с соответствующим замечанием о кратности вершины pi (т.е. о
#(pi,O(tj)) ).
2. Для модуля, в результате выполнения которого может быть получено d выходных моделей в зависимости от входных моделей, сам модуль обозначим tl и введем дополнительно позицию p и d
переходов: tm,tm+1,...,tm+d-1, таким образом, что множество выходных позиций перехода t будет состоять из одной позиции ;
множество входных позиций каждого дополнительно введенного перехода состоит из одной позиции . Множество выходных позиций каждого из d дополнительно введенного перехода будет состоять из выходной позиции, соответствующей одной из d выходных моделей рассматриваемого модуля. Причем кратность позиции pi (i=m, m+1,
..., m+d-1) равна степени полувыхода вершины в графе
G. То есть: ; введем и tm,tm+1,...,tm+d-1:
; O"(ti)={pi}; #(pi,O"(ti)) равна степени полувыхода вершины vji в графе G, где i=m,m+1,...,m+d-1.
3. Будем считать, что в результате работы модуля tl
получается некоторая модель и индикатор , показывающий, какая именно выходная модель из множества . В зависимости от значения будет запускаться один из d введенных переходов. И
фишка (фишки) в новой маркировке будет присвоена той позиции, которая соответствует значению индикатора . Таким образом, следующими будут запускаться переходы, имеющие в качестве входа именно ту модель, которую указал индикатор.
Очевидно, что значения индикатора являются дискретной функцией от входных моделей и зависят от работы модуля (tl). Индикатор не может быть вычислен при моделировании сети Петри и является внешним параметром, значение которого считается известным в момент присвоения фишки позиции .
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.