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
Revue des sciences et technologies de l'information
 

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