ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
 

couverture du numéro

Réseaux de Petri et algorithmes
sous la direction de Raymond Devillers, Hanna Klaudel
 LISTE DES ARTICLES POUR LE VOL 28/9 - 2009
Sommaire  [GRATUIT]
- pp.1082-1082
Éditorial  [GRATUIT]
- pp.1083-1083
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle
Julien SOPENA, Souheib BAARIR, Fabrice LEGOND-AUBRY - pp.1085-1105
Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents
Pierre GANTY, Gilles GEERAERTS, Jean-Pierre RASKIN, L. VAN BEGIN - pp.1107-1142
Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs
Abdelkrim ABDELLI - pp.1143-1170
Group-nets et réseaux lexicographiques. Expressivité et décidabilité
G. GUILLOU - pp.1171-1201
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier