In: IFIP Symposium / Florian, D.; Haase, V.: Software for Computer Control 1986. Selected Papers from the Fourth IFAC, pages 217-222. Oxford: Pergamon Press, 1987.
Abstract: The paper deals with the development of software for complex control systems. It contributes to the specification and design methodologies, software validation and system evaluation. For the determination of system requirements, software requirements and the links to the surrounding systems Petri-Nets have shown to be useful.