An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets | IEEE Conference Publication | IEEE Xplore