Authors: Heiner, M Deussen, P Spranger, J

Citation: M. Heiner et al., A case study in design and verification of manufacturing system control software with hierarchical Petri nets, INT J ADV M, 15(2), 1999, pp. 139-152