A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets
1999
The International Journal of Advanced Manufacturing Technology
Preserved Fulltext
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, a case study has been performed to develop modularised control software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.
doi:10.1007/s001700050051
fatcat:a44vof3djng7la3t67fm7idmcy