For the most recent entries see the Petri Nets Newsletter.

Translating time Petri net structures into Ada-95 statements.

Garcia, F.J.; Villarroel, J.L.

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.

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

Back to the Petri Nets Bibliography