The paper considers the highest control level organization of a flexible manufacturing cell (FMS). The indeterminancy problem in Petri nets is discussed as well as a method for overcoming it by two control levels. The net is decomposed into individual robot nets and machines. A simple language for defining robot activation conditions is developed and used for defining knowledge base contents. A method for linking it with other control modules is given. Also, the solution performance is analysed.