In: Proc. 1st Int. Workshop on Manufacturing and Petri Nets held at Int. Conf. on Application and Theory of Petri Nets (ICATPN `96), Osaka, June 1996, pages 177-196. 1996. Available at http://www.informatik.tu-cottbus.de/~wwwdssz/publications/papers.html.
Abstract: The application of Petri nets is one of the well-known approaches to develop provably error-free control software of manufacturing systems. To evaluate the reached practicability degree of available methods and tools to 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 step-wise validation.
Keywords: Concurrent system engineering; hierarchical Petri nets; reusable components; process model; validation; static analysis; temporal logics; performance evaluation; simulation; control software; manufacturing software.