Проектирование переферийных устройств. Синицын Ю.И. - 6 стр.

     Т = {tj / j = 1,m} - конечное множество переходов;
     1 =< Р x T - бинарные отношения инцидентности ;
     M0: P         E- начальная маркировка СП;
     I(tj), O(pt) - множества входных и выходных позиций по отношению к
переходу tj;

      I(Pi), O(pi) - множества входных и выходных переходов по отношению
к позиции Pi.
    Помимо базовых СП, известны белее сложные СП: временные,
стохастические,       марковские,   нагруженные,   логические,    структу-
рированные, составные. В целом СП             высокой мощностью модели-
рования и разрешения, что позволяет широко использовать их при
проектировании ПУ.
    Конечные автоматы. КА представляют собой граф переходов, который
изоморфен помеченной автоматности СП: вершины графа взаимно
однозначно соответствуют позициям СП, дуги графа – ее переходам;
переходы помечаются состоянием входа а позиции – состоянием выхода.
Для любого КА существует адекватная ему СП (обратное не всегда верно).
В целом класс СП мощнее класса КА.
     Паралельные граф-схемы алгоритмов. ПГСА представляются в виде
ориентированного графа

                         G=,

где U={ ui / i = 1,7} -конечное множество вершин семи типов (операторные,
перехода к выполнению параллельных ветвей алгоритма, слияние
параллельных ветвей, проверка логического условия с двумя выходами,
слияние взаимно исключающих ветвей, вершины начала -конца
выполнения алгоритма);
     E = {eij} – конечное множество дуг.
     Преобразование параллельной граф-схемы алгоритма в СП
производится заменой ее элементов элементами СП.
     Биологические графы. БГ называется ориентированный граф с
управляющей логикой, установленной на началах дуг, исходящих из одной
вершины, и на концах дуг, входящих в одну вершину [ логические
отношения И(&) или ИЛИ(^)]. При проектировании БГ в СП каждой
вершине и каждой дуге графа сопоставляется позиция СП, а переходы СП
вводятся по правилу: если p и t на СП связаны дугой, то аналогичная дуга
показывается и на БГ.
    Краткий обзор концепций структуризации достаточно полно
характеризует сложность проблем структуризации при моделировании
сложных технических систем, к которым относятся ПУ.
    Наряду с аппаратами, поддерживающими ту или иную концепцию
структуризации, технология машинного моделирования ПУ должна иметь

6