| |
Kernytskyy, O.
A Petri Net-based approach to extracting and validating requirements for modelling and modernizing archaic IT systems [Текст] / O. Kernytskyy, A. Kernytskyy
// Computer Design Systems. Theory and Practice. – 2025. – Vol. 7, № 2. – C. 132-143. – https://doi.org/10.23939/cds2025.02.132.
У цій статті досліджується використання мереж Петрі як формального та графічного інструменту моделювання для вирішення цих проблем. Мережі Петрі пропонують потужну основу для представлення системних робочих процесів, фіксації паралельності, синхронізації та процесів прийняття рішень. |
