In: Informatik Informationen-Reporte, Akademie der Wissenschaften der DDR, Institut für Informatik und Rechentechnik, pages 72-83. 1987.
Abstract: In general the behaviour of a parallel real-time program depends on random time conditions between its activated branches. For that reason it is difficult to reproduce a special time condition, and to verify the program in all of its feasable states. In this paper a method for design, modelling and verification of real-time software based on the Petri net concept is presented.