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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext