ISSN:
1433-3015
Keywords:
Key words.Concurrent system engineering; Control software; Hierarchical Petri nets; Manufacturing software; Process model; Reusable components; Temporal logics; Validation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
Notes:
The application of Petrinets 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s001700050051
Permalink