А. Алгоритъм за функциониране на преход в даден момент от време t₁=TIME (текущ момент от време)

1. Да се наредят входните позиции на прехода по приоритетите им.

Ядрата във входните позиции на прехода се разделят на две групи:

• Р₁(l) съдържа ядрата, които могат да извършват преход от позицията в която се намират към някоя изходна позиция, (l е съответната позиция);

• P₂(l) съдържа останалите ядра. В нея попадат тези, които по някаква причина не са могли да преминат когато са имали възможност за това, както и тези, които са пристигнали в позицията след момента на активиране на прехода (тези ядра нямат право да продължат нататък движението си в рамките на текущото активиране на прехода).

2. Да се наредят по приоритет ядрата от P₁ в момента t_1. ( В този момент P₂-списъците са празни).

(i,j)-тият елемент на индексираната матрица R е:

R_i,j= 1, ако (i,j)-тият предикат в текущият момент от време TIME има вярностна

стойност TRUE;

0, при вярностна стойност FALSE или ако стойността е вече изчислена чрез

правило 3.

3. Да се присвои стойност 0 на всички елементи на R, за които:

• входната позиция, която съответства на съответния предикат е празна (Р₁-гр. е празна;)

• изходната позиция, която съответства на съответния предикат е пълна;

• текущият капацитет на дъгата между входните и изходни позиции е равен, т.е. броят на преминалите през дъгата ядра е равен на капацитета й.

4. Да се изчислят стойностите на останалите елементи на R.

5. Да се изчислят стойностите на характеристичната функция, свързана със съответните изходни позиции, в които ще влязат съответните ядра.

6. Следвайки наредбата на позициите по приоритет, да се предвижат тези от ядрата от вх. към изх. позиции, които имат най-голям приоритет относно др. ядра в съответните позиции (тези ядра отиват в P₂ групата на съответните изх. позиции).

7. Да се преместят всички ядра с най-висок приоритет, за които изчислените вярностни стойности на предикатите имат стойност FALSE в P₂-групата на тяхната входна позиция. В тази част на позицията да се преместят също и тези от ядрата, за които вярностните стойности на предикатите са имали стойност TRUE, но междувременно изх. позиции, където е трябвало да се преместят са били запълнени (с ядра, идващи от позиции с по-висок приоритет).

8. Да се увеличи текущата стойност на моделното време с t⁰ (t⁰-елементарна времева стъпка).

9. Да се провери дали текущата стойност на времето е по-малка от t₁+t₂.

10. При отговор на въпрос 9 с Да, да се върне на т.2. В противен случай край на текущото функциониране на прехода.

Абстрактен преход (АП) явява се обединение на активните в текущия момент от време преходи на мрежата. Следователно, неговият вид динамично ще се променя във времето. От него ще отпаднат всички преходи на мрежата, които в текущия момент от