• Aucun résultat trouvé

Vol.28 n°9 (2009)

N/A
N/A
Protected

Academic year: 2022

Partager "Vol.28 n°9 (2009)"

Copied!
2
0
0

Texte intégral

(1)

Technique et science informatiques

Sommaire Volume 28 – n° 9/2009

RÉSEAUX DE PETRI ET ALGORITHMES

1083 Editorial–R.DEVILLERS,H.KLAUDEL

1085 Vérification formelle d’un algorithme générique et hiérarchique d’exclusion mutuelle

Formal verification of a hierarchical generic mutual exclusion algorithm

J.SOPENA,S.BAARIR,F.LEGOND-AUBRY

1107 Le problème de couverture pour les réseaux de Petri.

Résultats classiques et développements récents

The coverability problem for Petri nets. A survey of classical results and recent research

P.GANTY,G.GEERAERTS,J.-F.RASKIN,L.VAN BEGIN

1143 Optimisation de la construction d’une approximation de l’espace d’état des systèmes préemptifs

Improving the construction of a state space over approximation of preemptive systems

A.ABDELLI

1171 Group-nets et réseaux lexicographiques. Expressivité et décidabilité Group-nets and lexicographic nets. Expressivity and decidability G.GUILLOU

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com

(2)

Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com

Références

Documents relatifs

Privilège = Le processeur reçoit le jeton pour la première fois. Parcours en profondeur

In Section 3, we show by means of an example that some large work automata can be simplified to their respectively “equivalent” single state work automata.. The state-invariant of

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

L’utilisation d’un algorithme d’exclusion mutuelle de groupe est utile dans le cas où une ressource est partagée par plusieurs processus. Un exemple concret d’utilisation est

Dans le processus possédant le jeton, le tableau tampon contient les dates de la dernière possession du jeton par les autres processus donc si demande[i]<tampon[i], le processus P

 Nécessité de mettre en oeuvre des algorithmes gérant ces échanges de messages pour assurer l'exclusion mutuelle.  Algorithmes d'exclusion mutuelle décrits dans ce cours : plus

 Un processus voulant accéder à la ressource (quand il passe dans l'état demandeur) envoie une requête au serveur.  Quand le serveur lui envoie l'autorisation, il accède à la