Приклад 6.3

Два обчислювальні процеси Пр 1 і Пр 2 намагаються одночасно записати дані в пам’ять в П1 і зчитати з П2. Проблема – синхронізація доступу до пам’яті. Активний тільки один процес.

 

 

М1 = [1, 0, 1, 0, 1]. Якщо процес Пр1 хоче змінити свій стан на активний ( записати дані) він збуджує свій перехід і зманює розмітку на пасивну M = [0, 1, 0, 0, 1], таким чином збудження переходу процесу Пр2 (зчитування даних) не станеться доти, доки Пр1 не перейде в постійний стан і розмітка не стане М1.

Розширення мереж Петрі

1 Введення вагових коефіцієнтів.

Для кожної позитивної дуги можна задати певний ваговий коефіцієнт (вагу) = 1 або >1. За замовчуванням =1.

Перехід збуджується тоді, коли кількість маркерів у кожному вхідному вузлі більша ваги дуги або дорівнює їй.

У разі спрацювання переходу кількість маркерів кожного вхідного вузла зменшується на відповідну вагу вхідної дуги, а кількість маркерів вихідного вузла збільшується на вагу вихідної дуги.

2 Розширення можливостей вузлів під час моделювання.

У МП вузли виступають як сховище даних, а переходи як потоки даних. Маркером можна призначити різні типи даних (цілі, рядки і т. д.).

Можна зазначити режим доступу до маркерів (тобто, яким чином маркери надходять до вузлів і як вилучаються). Це дає можливість формувати у вузлах черги маркерів (як у СМО).

1 RAM – принцип випадкового доступу, маркер, що надійшов розміщується в черзі випадково, у разі спрацювання переходу вибирається із черги випадково.

2 FIFO – маркер, що надійшов стає в чергу останнім, а вибирається з неї перший ( 1-ий прийшов, 1-ий покинув).

3 LIFO – принцип «останній прийшов - перший покинув».

4 FIFORAM – «прийшов випадково – першим покинув».

5 LIFORAM - «прийшов випадково – останній першим покинув».

ПЕРЕЛІК ВИКОРИСТАНИХ ДЖЕРЕЛ

 

1 Советов Б. Я., Яковлев С.А. Моделирование систем. Учебник для вузов / Б.Я. Советов, С.А.Яковлев – М.:Выс. шк., 2003. – 245 с.

2 Советов Б. Я. Моделирование систем. Практикум / Б.Я. Советов – М.:Выс. шк., 2003. – 295 с.

3 Томашевський В. М. Моделювання систем. Підручник / В.М.Томашевский – К.: Видавнича група BHV, 2005 – 352 с.

4 Гультяев А. Визуальное моделирование в среде MatLab. Учебный курс / А.Гультяев – СПб: Питер, 2000. – 432с.

5 Карлин С. Основы теории случайных процес сов: пер. с англ./ С.Карлин – М.: Мир,1971. – 536 с.

6 Вентцель Е. С., Овчаров В. А. Теория случайных процессов и ее инженерное приложение / Е.С.Вентцель, В.А.Овчаров – М.: Наука, 1991. – 384 с.

7 Ануфриев И. Самоучитель MatLab 5.3/6.х./ И.Ануфриев – СПб: БХВ-Петербург, 2002. – 736 с.

8 Рутковская Д., Пилиньский М,, Рутковский М. Нейронные сети, генетические алгоритмы и нечеткие системы: пер. с польск./ Д.Рутковський, М. Пилиньский, М.Рудковский – М.: Горячая линия – Телеком, 2004. – 452 с