In: International Journal of Advanced Manufacturing Technology, Vol. 15, No. 2, pages 139-152. 1999.
Abstract: The application of Petri nets is one of the well-known approaches for developing provably error-free control software far manufacturing systems. To evaluate the practicability of available methods and tools for at least medium-sized systems, a case study has been performed to develop modularized control software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.
Keywords: concurrent system engineering, control software, hierarchical Petri nets, manufacturing software, process models, reusable components, temporal logics.