Sudachevski, V. M.; Ababii, V. V.; Hutsuliak, E. N.; Podubnyi, M. Design of Control Systems Based on Petri Nets. Вісник ВПІ 2010, 98-102.