Зв’язок мереж Петрі з бездужковим польським записом за авторством Statkevich, Vitaly M.

Отримати повний текст

Модифікація мереж Петрі з антисипацією по позиції за авторством Statkevych, Vitalii

Отримати повний текст

Метод семантичної верифікації застосувань у технології GPGPU за авторством Kryvyi, Serhii L., Pogorilyy, Sergiy D., Slynko, Maksym S., Kramov, Artem A.

Отримати повний текст

Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером... за авторством Statkevych, Vitalii

Отримати повний текст

Конструкції мереж Петрі із сильною антисипацією за позицією та за переходом у випадку дійсних функцій... за авторством Statkevych, Vitalii

Отримати повний текст

Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача за авторством Statkevych, Vitalii M.

Отримати повний текст