NantilusMODELISATION STRUCTURELLE DU TEMPS PAR RESEAUX DE PETRI : UNE CONTRIBUTION A LA VALIDATION TEMPORELLE
LE TRAVAIL PRESENTE DANS LE CADRE DE CETTE THESE PORTE SUR LA DEFINITION D'UNE TECHNIQUE DE MODELISATION DU TEMPS PAR RESEAUX DE PETRI ET SUR LES ANALYSES TEMPORELLES QUE L'ON PEUT EN FAIRE. L'ORIGINALITE DE CE TRAVAIL EST D'INTRODUIRE LE TEMPS NON COMME UNE DIMENSION PARTICULIER...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | MODELISATION STRUCTURELLE DU TEMPS PAR RESEAUX DE PETRI : UNE CONTRIBUTION A LA VALIDATION TEMPORELLE / FRANCK GASNIER; SOUS LA DIR. DE MARC BOURCERIE |
| Publié : |
[S.l.] :
[s.n.]
, 1998 |
| Description matérielle : | 134 p. |
| Note de thèse : | Thèse Doctorat : SCIENCES ET TECHNIQUES : CHIMIE : ANGERS : 1998 |
| Sujets : |
| Résumé : | LE TRAVAIL PRESENTE DANS LE CADRE DE CETTE THESE PORTE SUR LA DEFINITION D'UNE TECHNIQUE DE MODELISATION DU TEMPS PAR RESEAUX DE PETRI ET SUR LES ANALYSES TEMPORELLES QUE L'ON PEUT EN FAIRE. L'ORIGINALITE DE CE TRAVAIL EST D'INTRODUIRE LE TEMPS NON COMME UNE DIMENSION PARTICULIERE N'APPARAISSANT QUE SOUS LA FORME D'ETIQUETTES, MAIS COMME UNE PARTIE DU MODELE GLOBAL. LE RESULTAT DE CETTE INTRODUCTION EST UN RESEAU DE PETRI GENERALISE QUI DECRIT DE FACON DISJOINTE LE COMPORTEMENT DU SYSTEME ET SA DEPENDANCE TEMPORELLE. AYANT ACCES A LA PARTIE TEMPORELLE, IL EST POSSIBLE DE MULTIPLIER LES SOURCES DE TEMPS, DE MODIFIER DYNAMIQUEMENT LA VALEUR ET MEME LE FONCTIONNEMENT D'UNE TEMPORISATION. MAIS L'AVANTAGE PRINCIPAL DE CETTE INTRODUCTION DU TEMPS EST DE DISPOSER DE TOUTES LES TECHNIQUES D'ANALYSE COMPORTEMENTALES DES RESEAUX DE PETRI GENERALISES ET DE POUVOIR INTERPRETER TEMPORELLEMENT LES PROPRIETES EXTRAITES GRACE A ELLES. NOUS DEFINISSONS EGALEMENT UNE TECHNIQUE D'ANALYSE ENUMERATIVE ADAPTEE A CES TEMPORISATIONS STRUCTURELLES QUI MASQUE LES EVOLUTIONS INTERNES DE LA PARTIE TEMPORELLE AFIN DE SIMPLIFIER L'EXTRACTION DE PROPRIETES. ENFIN NOUS PROPOSONS UN ALGORITHME QUI RECHERCHE LES REGIMES PERMANENTS QU'UN SYSTEME PEUT ATTEINDRE QUAND ON NE MAITRISE PAS L'ETAT INITIAL MAIS QUE L'ON CONNAIT UN CERTAIN NOMBRE DE CARACTERISTIQUES (TAILLE D'UN STOCK). CET ALGORITHME RECHERCHE EN FAIT LES SEQUENCES DE FRANCHISSEMENT POSSIBLES RELATIVEMENT A DES CONTRAINTES DE MARQUAGES (EXPRIMEES PAR DES INVARIANTS DE PLACES INSTANCIES) D'UN INVARIANT DE TRANSITIONS DONNE. |
|---|---|
| Notes : | 1998ANGE0036 |
| Bibliographie : | 53 ref. |