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
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com