A Petri Net Based Modeling of Active Objects and Futures - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2018

A Petri Net Based Modeling of Active Objects and Futures

Résumé

We give two different notions of deadlock for systems based on active objects and futures. One is based on blocked objects and conforms with the classical definition of deadlock by Coffman, Jr. et al. The other one is an extended notion of deadlock based on blocked processes which is more general than the classical one. We introduce a technique to prove deadlock freedom of systems of active objects. To check deadlock freedom an abstract version of the program is translated into Petri nets. Extended deadlocks, and then also classical deadlock, can be detected via checking reachability of a distinct marking. Absence of deadlocks in the Petri net constitutes deadlock freedom of the concrete system.
Fichier principal
Vignette du fichier
fundainfo.pdf (502.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01919136 , version 1 (12-11-2018)

Identifiants

Citer

Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro. A Petri Net Based Modeling of Active Objects and Futures. Fundamenta Informaticae, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩. ⟨hal-01919136⟩
48 Consultations
170 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More