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 36/7 - 2002  - pp.987-999
TITLE
Extracting Critical Scenarios from a Petri Net Model using Linear Logic

RÉSUMÉ
La connaissance des scénarios critiques est indispensable, dès la phase de conception des systèmes mécatroniques, afin d'estimer leur sûreté de fonctionnement. Ceci permet de valider les reconfigurations et d'orienter le choix de l'architecture de ces systèmes. Cet article présente une méthode de recherche de scénarios potentiellement dangereux dans un cadre formel (logique linéaire) à partir d'un modèle réseau de Petri. Après un rappel sur le lien entre les réseaux de Petri et la logique linéaire, nous présenterons une méthode de raisonnement arrière sur les réseaux de Petri. Une méthode générale combinant raisonnement arrière et raisonnement avant pour la recherche de scénarios critiques sera ensuite illustrée sur un cas d'étude simple et appliquée sur un exemple de système mécatronique du monde automobile.


ABSTRACT
To evaluate reliability of mechatronic systems, one should know the feared scenarios, in order to choose the safe architecture of the system during the development phase. The aim of this work is to propose a logical based approach (linear logic) for deriving the critical scenarios from a Petri net model. After a brief summary about Petri nets and linear logic, we present an original method for backward reasoning on Petri nets. Then, we illustrate the general approach (combining backward and forward reasoning) for deriving feared scenarios on a case study and apply it on a mechatronic system from the automotive field.


AUTEUR(S)
Hamid DEMMOU, Sarhane KHALFAOUI, Nicolas RIVIÈRE, Edwige GUILHEM

MOTS-CLÉS
réseau de Petri, logique linéaire, mécatronique, sûreté de fonctionnement.

KEYWORDS
Petri net, linear logic, mechatronic, safety.

LANGUE DE L'ARTICLE
Anglais

 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  (98 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier