In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3093-3098. 2000.
Abstract: This paper aims at the development of an engineering technique for the construction of systems through the refinement of duration interval transitions. The theoretical system model is based on the so called interval time Petri nets. Duration interval transitions turn out to be syntactical abbreviations for a certain structure 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 application of the proposed approach lies in the development of time correct system specifications.
Keywords: interval Petri nets, net refinements, real-time systems, system specifications.