Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени.

Індекс рубрикатора НБУВ: З810.21 + З970.26-01

Рубрики:

Мережі Петрі

Розподілені обчислювальні системи (РОС)

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"