For the most recent entries see the Petri Nets Newsletter.

Modelling and Verification of Real-time Software Using Petri Nets.

Arendt, F.; Heltzig, H.F.; Kluehe, B.

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.

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

Back to the Petri Nets Bibliography