Cтраница 1
Иерархическая сеть - это сеть, задаваемая структурной формулой. Последняя представляет собой формулу сети, которая строится из терминальных и нетерминальных символов с помощью операций алгебры регулярных сетей и упорядоченного множества определений нетерминальных символов. [1]
Иерархическая сеть разбивается на уровни, имеющие одинаковую структуру. К высшему уровню относятся переходы, которые не являются внутренними для других переходов сети. Их вложенность считается равной единице, так как вся сеть рассматривается как составной переход. [2]
Иерархическая сеть функционирует, переходя от разметки к разметке, как и регулярная сеть, но правила функционирования иерархической сети отличаются от соответствующих правил для регулярной сети. Эти различия вызваны наличем составных переходов, срабатывание которых является не мгновенным событием, как в сетях Петри, а составным действием. Поэтому целесообразно говорить не о срабатывании составного перехода, а о его работе. Если связать с функционированием сети ( дискретное) время, то можно говорить о том, что составной переход может находиться в одном из двух состояний - пассивном и активном. Смена пассивного состояния на активное, или активация составного перехода, и смена активного состояния на пассивное, или завершение, являются мгновенными событиями. Начальное состояние всех переходов - пассивное. Будем считать, что простые переходы также могут быть активны, но их активность мгновенна и активация совпадает с завершением. [3]
Иерархическая сеть связи состоит из сетей нескольких рангов. Узлы сети г - го раига включаются в один или несколько узлов сети ( if - 1) - го ранга. [4]
Алгоритм преобразования иерархической сети в сеть в приоритетами состоит в последовательной замене составных переходов, начиная с таких, у которых все внутренние переходы простые, на фрагменты сети с приоритетами. [5]
Для определения иерархических сетей и формул класс элементарных формул, т.е. класс символов переходов, разбивается на два - непересекающихся подкласса: терминальные символы и нетерминальные символы. Соответственно переходы разделяются на простые и составные. [6]
В конфигурации иерархической сети может быть больше одного уровня. [7]
Анализ функционирования исходной иерархической сети с единственным составным переходом и построенной сети с приоритетами непосредственно убеждает, что эти сети эквивалентны. [8]
В случае произвольной иерархической сети преобразование в сеть с приоритетами состоит в последовательной замене составных переходов на фрагменты сети с приоритетами. Сначала заменяются составные переходы с простыми внутренними переходами. Затем заменяются составные переходы второго уровня. При этом процедура замены составных переходов второго уровня повторяет описанную выше процедуру замены составных переходов первого уровня. Однако она не затрагивает те переходы и места, которые входят в уже построенные по переходам первого уровня фрагменты сети с приоритетами. [9]
Под тезаурусом понимается иерархическая сеть понятии и отношений между ними. Тезаурус может быть разработан независимо от какой-либо системы рубрицирования. В качестве вариантов ( синонимов или эквивалентов) дескрипторов в тезаурусе встречаются именные и глагольные группы, отдельные существительные, прилагательные или глаголы. [10]
Определение правил функционирования иерархической сети, данное в § 6.3, предполагает, что локальные и внешние входные места внутренних переходов в составных переходах равноправны при выяснении возможности срабатывания переходов. В результате составной переход завершается, если ни один из его внутренних переходов не может сработать, так как хотя бы одно из его входных мест, безразлично - локальное или внешнее, не имеет фишек. [11]
Теорема 6.16. Класс строго иерархических сетей строго мощнее классов сетей Петри и регулярных сетей. [12]
Рассмотрим сначала частный случай иерархической сети, которая представляет собой единственный составной переход, все внутренние переходы которого - простые. Пусть Гг - множество внутренних переходов перехода f, Р, - множество его внутренних мест, М0 - начальная разметка сети. [13]
Теорема 6.11, Класс иерархических сетей равномощен классам ингибиторных сетей и сетей с приоритетами и строго мощнее классов ( ординарных) сетей Петри и регулярных сетей. [14]
Теорема 6.15. Класс S2 иерархических сетей с ожиданием равномо-щен классу S иерархических сетей, классу ингибиторных сетей и классу сетей с приоритетами. Он строго мощнее класса сетей Петри и класса регулярных сетей. [15]