Development of Real-Time System Specifications through the
Refinement of Duration Interval Petri Nets

D. Gurovic, W. Fengler and J. Nuetzel

{gurovic|wfengler|nuetzel}@theoinf.tu-ilmenau.de

Department of Computer Science and Automation
Technical University of Ilmenau
Ilmenau, Germany, 98693


Abstract

This paper aims at the development of an engineer-
ing technique for the construction of systems through
the refinement of duration interval transitions. Our
theoretical system model is based on so-called inter-
val time Petri nets. Duration interval transitions turn
out to be syntactical abbreviation for a certain struc-
ture of interval time Petri nets. The kind of the used
refinement technique preserves the safety property and
guarantees that the refined system behaves neither 
slower nor faster than the unrefined one. The applica-
tion of our approach lies in the development of time
correct system specifications.