Méthodes d'analyse hiérarchique des réseaux de Petri

Méthodes d'analyse hiérarchique des réseaux de Petri

L'objet de cette thèse est de définir des méthodes d'analyse hiérarchique des réseaux de Petri (un formalisme de modélisation du contrôle des systèmes distribués). Premièrement, nous étudions la transformation de réseaux par remplacement de sous-réseaux ouverts: une notion d'équivalen...

Full description

Bibliographic Details
Main Author:	Chehaibar, Ghassan
Language:	FRE
Published:	Ecole Nationale des Ponts et Chaussées 1991
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation réseaux de Petri analyse hiérarchique remplacement réseaux réentrants composition espace d'accueil norme automatique théorique informatique modélisation
Online Access:	http://tel.archives-ouvertes.fr/tel-00519683 http://tel.archives-ouvertes.fr/docs/00/51/96/83/PDF/1991TH_CHEHAIBAR_G_NS15791.pdf

Similar Items

Propriétés et méthodes de calcul de la fiabilité diamètre-bornée des réseaux
by: Sartor, Pablo
Published: (2013)

Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles
by: Autant, Cyril
Published: (1993)

Modélisation pangénomique du déséquilibre de liaison à l'aide de réseaux bayésiens hiérarchiques latents et applications
by: Mourad, Raphaël
Published: (2011)

Contributions à l'étude des réseaux sociaux : propagation, fouille, collecte de données
by: Stattner, Erick
Published: (2012)

Synthèses booléennes dans les réseaux cellulaires
by: Montagnon, Jean-Antoine
Published: (1971)

Construction de réseaux de neurones
by: Wenzek, Didier
Published: (1993)

Architecture multi-agents pour le pilotage automatique des voiliers de compétition et Extensions algébriques des réseaux de Petri
by: Guillou, Goulven
Published: (2010)

Contribution des structures algébriques ordonnées à la théorie des réseaux
by: Benzaken, Claude
Published: (1968)

Approches évolutionnaires pour la reconstruction de réseaux de régulation génétique par apprentissage de réseaux bayésiens.
by: Auliac, Cédric
Published: (2008)

Le Calcul du Gradient d'Erreur dans les Réseaux de Neurones : Applications aux Telecom et aux Sciences Environnementales
by: Aussem, Alexandre
Published: (2002)

Robustesse des réseaux d'automates booléens à seuil aux modes d'itération. Application à la modélisation des réseaux de régulation génétique.
by: Elena, Adrien
Published: (2009)

Le routage dans les réseaux de capteurs multimédia
by: Zeghilet, Houda
Published: (2013)

Modélisation et analyse temporelle par réseaux de Petri et logique linéaire
by: Riviere, Nicolas
Published: (2003)

Recherche d'ARN non-codants par réseaux de contraintes pondérées
by: Zytnicki, Matthias
Published: (2007)

Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du GRAFCET et des réseaux de PETRI
by: Moalla, Mohamed
Published: (1981)

Mise en équations et résolution des réseaux électriques en régime transitoire par la méthode tensorielle
by: Kaufmann, Arnold
Published: (1954)

Réseaux bayésiens : Apprentissage et diagnostic de systemes complexes
by: Leray, Ph.
Published: (2006)

Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents
by: Pajault, Christophe
Published: (2008)

Etudes et algorithmes liés à une nouvelle structure de données en T.A : les E-graphes
by: Clemente-Salazar, Marco Antonio
Published: (1982)

Intégration neuronale dans le système auditif : modélisation de réseaux neuronaux temporo-dépendants
by: Berthommier, Frédéric
Published: (1992)

Synthèse de fonctions booléennes générales
by: Deschizeaux, P.
Published: (1967)

Des bisimulations de places pour la réduction des réseaux de Petri
by: Quivrin-Pfister, Wilfried
Published: (1995)

Virtualisation des réseaux : performance, partage et applications
by: Fabienne, Anhalt
Published: (2011)

Adaptation d'un algorithme génétique pour la reconstruction de réseaux de régulation génétique : COGARE.
by: Briche, Julien
Published: (2009)

Vérification et dépliages de réseaux de Petri temporels paramétrés
by: Traonouez, Louis-Marie
Published: (2009)

Modélisation incrémentale des réseaux biologiques.
by: Yartseva, Anastasia
Published: (2007)

Modèles composables et concurrents pour le temps-réel
by: Pommereau, Franck
Published: (2002)

Garantie de la qualité de service et évaluation de performance des réseaux de télécommunications
by: Tomasik, Joanna
Published: (2012)

Communication en langue naturelle avec un système d'aide à la conception d'assemblages physiques : un essai d'utilisation de réseaux sémantiques partitionnés
by: Lopez, Mauricio
Published: (1979)

Problèmes algorithmiques et de complexité dans les réseaux sans fil
by: Darties, Benoit
Published: (2007)

Métaheuristiques : Stratégies pour l'optimisation de la production de biens et de services.
by: Sevaux, Marc
Published: (2004)

Évaluation de l'impact des facteurs émotionnels lors d'interactions physiques entre humains réels et virtuels
by: Perrinet, Jonathan
Published: (2013)

Isomorphisme, immersion et recouvrement de graphes
by: Turcat, Claudine
Published: (1974)

Amélioration de la transparence et du contrôle par l'utilisateur dans les réseaux mobiles
by: Rao, Ashwin
Published: (2013)

Le problème de la reconfiguration dans les réseaux optiques multifibres
by: Huiban, Gurvan
Published: (2006)

Conception de réseaux de télécommunications : optimisation et expérimentations
by: Lalande, Jean-François
Published: (2004)

Construction optimale de réseaux fixes et mobiles pour la surveillance opérationnelle des rejets accidentels atmosphériques
by: Abida, Rachid
Published: (2010)

Auto-diagnostic actif dans les réseaux de télécommunications
by: Hounkonnou, Carole
Published: (2013)

Algorithmes de dissémination épidémiques dans les réseaux à grande échelle : comparaison et adaptation aux topologies
by: Hu, Ruijing
Published: (2013)

Apprentissage de la qualité de service dans les réseaux multiservices: applications au routage optimal sous contraintes
by: Mahul, Antoine
Published: (2005)

Cannot write session to /tmp/vufind_sessions/sess_it76likh3s1f0euhoodj8r8mcv