For the most recent entries see the Petri Nets Newsletter.

Methods and Tools for the Development of Software for Complex Realtime Control Systems.

Bruns, M.; Rake, H.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography