In: Lecture Notes in Computer Science, Vol. 1622: Reliable Software Technologies, Ada-Europe'99, pages 158-169. Springer-Verlag, 1999.
Abstract: The goal of this paper is to show how real-time systems modeled with time Petri nets can be implemented in Ada-95. To achieve this objective, models of Ada-95 tasking statements are used. Using reduction rules, the model of the statement is reduced in order to make it recognizable in the net which models the system. Thus, a catalog of the reduced models of the Ada-95 tasking statements can be built and used in the translation of net structures into Ada programs.
Keywords: time Petri nets.