For the most recent entries see the Petri Nets Newsletter.

Development of real-time system specifications through the refinement of duration interval Petri nets.

Gurovic, D.; Fengler, W.; Nützel, J.

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.

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

Back to the Petri Nets Bibliography