For the most recent entries see the Petri Nets Newsletter.

A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.

Heiner, Monika; Deussen, P.; Spranger, J.

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

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography