================================================================================ P9331 J.A. Hillebrand "An algebraic specification of a manufacturing system with hierarchical control" This paper presents a PSF specification of a fictitious manufacturing system. We also discuss the control of manufacturing systems in general. Finally, an attempt is made to compare the expressive power of PSF and the specification language ProcessTalk.