Электронный каталог: Pucach, A. - Development of model, based on Petri nets, for the planning stage of robotic systems design system