An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets.