Design of Control Systems Based on Petri Nets. Вісник ВПІ 2010, No. 3, 98-102.