For the most recent entries see the Petri Nets Newsletter.

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.

Klaudel, Hanna; Pommereau, Franck

In: J.-M. Colom, M. Koutny (Eds.), Newcastle upon Tyne, UK: Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001), pages 204-224. Lecture Notes in Computer Science 2075, edited by G. Goos, J. Hartmanis and J. van Leuwen, Springer, June 2001.

Abstract: This paper aims at introducing a mechanism of exceptions in a parallel programming language, giving them a formal concurrent semantics in terms of preemptible and composable high-level Petri nets. We show that, combined with concurrency, exceptions can be used as a basis for other preemption related constructs. We illustrate this idea by presenting a generalized timeout and a simple UNIX-like system of concurrent preemptible threads.

Keywords: Exceptions, Petri nets, semantics, parallel programming.


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

Back to the Petri Nets Bibliography