|
133 индекс 1, если среди всех ранее переиндексированных переходов нет ему одноименных, в противном случае данный переход получает индекс, на единицу больший максимального индекса среди всех ранее занумерованных одноименных переходов. После переиндексации все переходы из множества сетей {N 1к \\ < к < т} различны: или переходы имеют разные имена (но могут иметь одинаковый индекс), или если переходы имеют одну и ту же метку, то их индексы (по построению) различны. Все сети Nlk,\<к<т объединяются в одну сеть N, путем наложения. При этом ни одна из пар переходов фактически не накладывается, так как все переходы различны. В случае, если число экземпляров т конечно (сеть N, не содержит разметки с ю) и N, не является циклом, процесс переиндексации заканчивается за конечное число шагов. В противном случае процедура переиндексации применяется к конечным префиксам разверток циклических сетей. На рис 2.15. показана параллельная сеть N , представляющая собой наложение двух последовательных сетей Nk и N2. Начальная разметка сети Nx помещает в ее места 3 фишки, сети N2— 2 фишки, поэтому сеть расщепляется на три последовательные сети Nti,Nl2,Nl3 со стандартной разметкой, сеть N2 — на две сети N2A,N2t2. После того как все составляющие сети расщеплены, развернуты и переиндексированы, производится “выравнивание” числа накладываемых переходов. Если в сети N j максимальный индекс у перехода t равен /,, а в сети N} максимальный индекс у того же перехода равен 12 и /2 < 1Х, то в сеть Nj добавляются /, -12 копий сети N2 с нулевой разметкой всех мест. При этом все вхождения перехода t индексируются описанным выше способом, начиная с индекса (l2 +1). Такое выравнивание числа вхождений переходов |
64 единицу больший максимального индекса среди одноименных первых переходов в предыдущих сетях А (>, Т У #Д_,. На к -м шаге индексируются к -е переходы в каждой из копий. Аналогично индексированию на первом шаге, переиндексация ведется “сверху вниз” с учетом перехода копий; к -й переход в сети N , получает индекс 1, если среди всех ранее переиндексированных переходов нет ему одноименных, в противном случае данный переход получает индекс, на единицу больший максимального индекса среди всех ранее занумерованных одноименных переходов. После переиндексации все переходы из множества сетей {И,'к 11< к < т } различны: или переходы имеют разные имена (но могут иметь одинаковый индекс), или если переходы имеют одну и ту же метку, то их индексы (по построению) различны. Все сети N1к,1 < к < т объединяются в одну сеть Ж, путем наложения. При этом ни одна из пар переходов фактически не накладывается, так как все переходы различны. В случае, если число экземпляров т конечно (сеть ТУ, не содержит разметки с со) и ТУ, не является циклом, процесс переиндексации заканчивается за конечное число шагов. В противном случае процедура переиндексации применяется к конечным префиксам разверток циклических сетей. На рис 2.10. показана параллельная сеть ТУ, представляющая собой наложение двух последовательных сетей ТУ, и ТУ2 (рис. 2.10.6). Начальная разметка сети ТУ, помещает в ее места 3 фишки, сети ТУ2— 2 фишки, поэтому сеть ТУ, расщепляется на три последовательные сети ТУи ,ТУ>2,ТУКЗ со стандартной разметкой, сеть Ы 2 — на две сети ТУ2,,ТУ22. На рис. 2.10.в и г показаны сети ТУ, и А 2 после переиндексации переходов и объединения разверток расщеплений в одну сеть. 65 Рис. 2.10. Параллельная сеть После того как все составляющие сети расщеплены, развернуты и переиндексированы, производится “ выравнивание” числа накладываемых переходов. Если в сети N / максимальный индекс у перехода / равен /,, а в сети N ' максимальный индекс у того же перехода равен /2 и /2 < /,, то в сеть Й , добавляются /, 1 2 копий сети N 1 с нулевой разметкой всех мест. При этом все вхождения перехода / индексируются описанным выше способом, начиная с индекса (12 + \ ). Такое выравнивание числа вхождений переходов производится для всех переходов, входящих одновременно в сети и N 1, и для всех пар сетей, составляющих сеть N . 2.5. Разработка механизмов связывания модулей на основе модели интеграции данных Очевидно, что все модули работают с некоторыми данными, получая некоторые данные на входе, и формируя выходные данные. Это наводит на мысль о возможности интеграции через единое пространство данных. Иными словами через единую базу данных, хранящую все требуемые системе данные. Кроме того, помимо простых данных существуют и более сложные: например, для тестовых заданий существует такой тип исходных данных как алгоритм тестирования. Подобные данные также имеет смысл хранить централизовано и вести учет в базе данных. Для учета таких данных возможны варианты: можно использовать единую базу данных для учета |