For the most recent entries see the Petri Nets Newsletter.

Petri Net Models of Concurrent Ada Programs.

Stansifer, R.; Marinescu, D.

In: Proceedings of the Twenty-Third Annual Hawaii International Conference on System Sciences, 1990, Kailua-Kona, HI, USA; Vol. 2, pages 400-409. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.

Abstract: A subset of the programming language Ada is translated to Petri nets. The subset contains the Ada rendezvous and dynamic task creation. The design of the translation algorithm was influenced by methods of denotational semantics, which made the implementation of the algorithm particularly simple in the programming language ML.

Keywords: concurrent Ada program; denotational semantics; programming language ML.


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

Back to the Petri Nets Bibliography