ACCUEIL

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

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.287-301  - doi:10.3166/jesa.39.287-301
TITRE
Spécifications modales de réseaux de Petri

RÉSUMÉ
Nous étendons les résultats de Badouel & Darondeau sur la synthèse de réseaux de Petri non étiquetés à partir d'un langage régulier au cas d'une famille de langages solutions de formules de mu-calcul modal; ces formules sont traduites en spécifications modales, dont une restriction structurelle rend le problème décidable.


ABSTRACT
We present an extension of Badouel & Darondeau's results for unlabeled Petri net synthesis from regular languages. We study synthesis from families of languages defined through modal mu-calculus sentence formulas, which translate into modal specifications. A structural restriction makes this problem is decidable.


AUTEUR(S)
Guillaume FEUILLADE, Sophie PINCHINAT

MOTS-CLÉS
réseaux de Petri, mu-calcul, synthèse.

KEYWORDS
Petri nets, mu-calculus, synthesis.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (117 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier