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

Authors
Heiner, M Deussen, P Spranger, J
Citation
M. Heiner et al., A case study in design and verification of manufacturing system control software with hierarchical Petri nets, INT J ADV M, 15(2), 1999, pp. 139-152
Citations number
27
Categorie Soggetti
Engineering Management /General
Journal title
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
ISSN journal
02683768 → ACNP
Volume
15
Issue
2
Year of publication
1999
Pages
139 - 152
Database
ISI
SICI code
0268-3768(1999)15:2<139:ACSIDA>2.0.ZU;2-J
Abstract
The application of Petri nets is one of the well-known approaches for devel oping provably error-free control software far manufacturing systems. To ev aluate the practicability of available methods and tools for at least mediu m-sized systems, a case study has been performed to develop modularised con trol software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.