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

摘要

The application of Petri nets is one of the well-known approaches for developing provably error free control software for manufacturing systems. To evaluate the practicability of available methods and tools for at least medium-sized systems, acase study has been performed to develop modularised control software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.