For the most recent entries see the Petri Nets Newsletter.

A case study in design and verification of manufacturing system control software with hierarchical Petri nets.

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

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.

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

Back to the Petri Nets Bibliography