For the most recent entries see the Petri Nets Newsletter.

Derivation of Petri Net Models of Ada Tasking Constructs Involving Time.

Fong, F.W.; Shatz, S.M.

In: Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989, Orlando, FL, USA, pages 24-31. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.

Abstract: Ada tasking constructs involving time are modeled by timed Petri nets. Such modeling is helpful in interpreting the (often) ambiguous semantics described in the Ada reference manual. From a general selective wait model, it is shown how to apply Petri net reduction operations to derive other selective wait models.

Keywords: Ada tasking constructs (involving time); selective wait model; net reduction.

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

Back to the Petri Nets Bibliography