A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

• Autorzy: Klaudel H. , Pommereau F.
• Języki publikacji: EN

Abstrakty

EN

This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of preemption, and can be applied to the modelling of the semantics of high-level parallel programming languages with preemption-related features. As an illustration, the paper gives an application to the modelling of a multi-tasking system in a parallel programming language, which is provided with a concurrent semantics based on Petri nets and for which implemented tools can be used.

Słowa kluczowe

EN

Petri net; compositionality; preemption; tasks

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 50, nr 1
• Strony: 33--55
• Opis fizyczny: bibliogr. 24 poz.

Twórcy

autor

Klaudel H.

autor

Pommereau F.

• LACI, Universite Paris XII, 61, avenue du Général de Gaulle 94010 Créteil, France,