Relevant bibliographies by topics / Réseaux de Petri Lots

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Conference papers

Academic literature on the topic 'Réseaux de Petri Lots'

Author: Grafiati
Published: 4 June 2021
Last updated: 16 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Réseaux de Petri Lots.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Réseaux de Petri Lots"

1

Paludetto, Mario, Jérôme Delatour, and Adel Benzina. "UML et réseaux de Petri." Techniques et sciences informatiques 23, no. 4 (April 30, 2004): 543–67. http://dx.doi.org/10.3166/tsi.23.543-567.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bitam, Melha, and Hassane Alla. "L'outil réseaux de Petri hybrides dans les réseaux de communication." Journal Européen des Systèmes Automatisés 40, no. 1 (February 28, 2006): 73–94. http://dx.doi.org/10.3166/jesa.40.73-94.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Feuillade, Guillaume, and Sophie Pinchinat. "Spécifications modales de réseaux de Petri." Journal Européen des Systèmes Automatisés 39, no. 1-3 (April 30, 2005): 287–301. http://dx.doi.org/10.3166/jesa.39.287-301.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Peres, Florent, Beranrd Berthomieu, and François Vernadat. "Composer des réseaux de Petri temporels." Journal Européen des Systèmes Automatisés 43, no. 7-9 (November 10, 2009): 1001–15. http://dx.doi.org/10.3166/jesa.43.1001-1015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lime, Didier, Claude Martinez, and Olivier H. Roux. "Coercition temporelle de réseaux de Petri." Journal Européen des Systèmes Automatisés 45, no. 1-3 (April 30, 2011): 13–28. http://dx.doi.org/10.3166/jesa.45.13-28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Komenda, Jan, Sébastien Lahaye, and Jean-Louis Boismond. "Séquentialisation du comportement de réseaux de Petri temporisés." Journal Européen des Systèmes Automatisés 47, no. 1-3 (May 30, 2013): 139–54. http://dx.doi.org/10.3166/jesa.47.139-154.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Torres, Lucile, and Claudia Frydman. "Vérification et validation de modèles CommonKADS par réseaux de Petri." Revue d'intelligence artificielle 15, no. 2 (June 15, 2001): 247–76. http://dx.doi.org/10.3166/ria.15.247-276.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lefevre, Dimitri. "Sensibilité paramétrique des réseaux de Petri continus à vitesse variable." Journal Européen des Systèmes Automatisés 37, no. 1 (January 30, 2003): 83–108. http://dx.doi.org/10.3166/jesa.37.83-108.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Tolba, Chérif, Dimitri Lefebvre, Philippe Thomas, and Abdellah El Moudni. "Commande des feux de signalisation par réseaux de Petri hybrides." Journal Européen des Systèmes Automatisés 42, no. 5 (July 1, 2008): 579–612. http://dx.doi.org/10.3166/jesa.42.579-612.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Haro, Christophe, Patrick Martineau, and Christian Proust. "Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée." RAIRO - Operations Research 38, no. 1 (January 2004): 39–62. http://dx.doi.org/10.1051/ro:2004013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Réseaux de Petri Lots"

1

Caradec, Muriel. "Modélisation des systèmes de production à haute cadence multiproduits par réseau de Petri lots colorés." Montpellier 2, 1998. http://www.theses.fr/1998MON20118.

Full text
Abstract:
Les systemes de production a haute cadence actuels doivent s'adapter a des commandes successives de produits differents (multiproduits) en quantites limitees. Ces systemes sont souvent composes de machines separees par des convoyeurs qui jouent le role a la fois de transfert et de stock tampon. Ils sont hybrides, car ils mettent en jeu des modeles continus et discontinus. Les parties continues correspondent soit a des produits evalues et consommes de facon continue, soit a des deplacements de produits discrets sur les convoyeurs. L'objectif de ces travaux etait de determiner un outil de modelisation dedie aux systemes de production a haute cadence multiproduits. Il avait ete defini ulterieurement un modele hybride dedie aux systemes monoproduit, le reseau de petri lot. Afin de beneficier des avantages de ce modele monoproduit deja existant, nous avons donc defini une extension utilisant la couleur. Cette nouvelle notion permet d'identifier la matiere circulant dans une chaine (par unite ou par lot) et de prendre en compte la multiplicite des produits. Ce nouveau modele s'appelle reseau de petri lots colore. Un modele generique des systemes de convoyage est presente : le transporteur colore virtuel (tcv). Les differents phenomenes observes lorsque deux lots colores rentrent en contact sur un tcv sont egalement analyses. Nous proposons ensuite une etude sur les conflits transitions et couleurs rencontres dans notre modele. Enfin, une partie est consacree a l'application du modele monoproduit a la simulation des chaine de production a haute cadence.
APA, Harvard, Vancouver, ISO, and other styles
2

Mnassri, Radhia. "Réseaux de Petri Lots Triangulaires pour la modélisation mésoscopique et l'étude de la congestion dans le trafic routier." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM4376.

Full text
Abstract:
L'usage excessif des routes peut entraîner de nombreux inconvénients dont la pollution, les accidents et la congestion. Une solution accessible à court terme consiste à mettre en œuvre des systèmes de gestion de trafic. Dans ce cadre, nous proposons un formalisme, appelé Réseaux de Petri Lots Triangulaire, qui permet la modélisation et la simulation du trafic routier au niveau mésoscopique comme un système à événements discrets. Le RdPLots Triangulaire permet ainsi de décrire les caractéristiques globales du trafic routier: flux, densité et vitesse à travers la proposition d'une relation flux-densité triangulaire. Cette relation implique une modification de la dynamique des lots. Cette dynamique permet maintenant de représenter les deux états du trafic routier à savoir fluide et congestionné ainsi que les trois régimes dédiés au comportement libre, congestion et décongestion. Le calcul des flux instantanés des transitions est à présent réalisé par une méthode basée sur la technique de programmation linéaire en ajoutant une contrainte qui prend en compte l'état et le régime des lots. Pour modéliser des stratégies de contrôle telles que la variation de la vitesse limite (VSL), nous avons intégré au RdPLots Triangulaire des événements contrôlés qui permettent le changement de la vitesse maximale d'une place lot et le flux maximal d'une transition continue ou lot. Tous ces apports théoriques sont implémentés dans un logiciel que nous avons appelé SimuleauTri, sous lequel nous avons étudié des portions d'autoroute à partir des données réelles. Les résultats de simulation sont proches des mesures effectuées sur le terrain, et montrent la pertinence de RdPLots Triangulaire
The excessive use of roads can cause many adverse effects including pollution, insecurity and congestion. The available short-term solution is the implementation of traffic management systems which optimize the flow and reduce congestion without needing additional infrastructures. In this context, we proposed a new formalism, called Triangular Batches Petri Nets (Triangular BPN), which combines modeling and simulation of traffic in mesoscopic level as a discrete event system. The Triangular BPN describing the overall characteristics of the road traffic such as flow, density, speed by representing a new triangular relation flow-density. This relation implies the modification of batches dynamic, which is now used to represent the two road traffic states : fluid and congested, as well as the three behaviors :free, congestion and decongestion. The calculation of the instantaneous firing flows is achieved by adding a constraint that takes into account the state and behavior of batches. A set of controlled events integrated to the Triangular BPN, that allow the variation of the maximum speed of batch place and the maximum flow of batch and continuous transition. These controlled events used to model the control strategies, such as variable speed limit (VSL). All these theoretical contributions implemented in a software that is called SimuleauTri and used to study a motorway portions from real data. The simulation results are close to the measurements on the ground and show the pertinence of Triangular BPN
APA, Harvard, Vancouver, ISO, and other styles
3

Kaakai, Fateh. "Modélisation et évalution des pôles d'échanges multimodaux : une approche hybride multiéchelle basée sur les réseaux Pétri Lots." Besançon, 2007. http://www.theses.fr/2007BESA2038.

Full text
Abstract:
Les pôles d'échanges multimodaux (PEM) constituent aujourd'hui la vitrine des réseaux de transport. C'est un système de transport complexe dont le bon fonctionnement conditionne celui du réseau de transport dans son ensemble. Dans le but de prévenir, de réduire ou si possible d'éviter les dysfonctionnements, les incidents et les accidents qui affectent quotidiennement un grand nombre de sites en exploitation, et qui, par ricochet, détériorent l'image et l'attractivité des transports collectifs en général, il devient nécessaire de systématiser l'évaluation à priori et à posteriori des performances des PEM comme cela s'est fait avec succès dans d'autres domaines, tels que celui des systèmes industriels de production. Ainsi, l'objectif de ces travaux de recherche est d'élaborer un modèle de simulation pour la mesure d'un certain nombre d'indicateurs quantitatifs de performance dédiés aux PEM. Le modèle de simulation proposé est basé sur les réseaux de Petri Lots, une extension des réseaux de Pétri Hybrides particulièrement adaptée pour la modélisation des systèmes multiéchelles complexes. Ce paradigme de modélisation offre, en outre, des techniques d'analyse formelle pour la vérification et la commande du modèle élaboré. Le modèle de simulation proposé sera utile poour définir et programmer à court terme des opérations de maintenance dans le but de prévenir des dysfonctionnements latents ou probables. Concernant les projets de PEM en cours de réalisation, il permettra d'éclairer les choix préalables à la conception des différentes composantes de ces sites en assistant les concepteurs dans les procédures de dimensionnement et de planification
A Multimodal Hub is a complex transportation system which has the role to interconnect several public and private transportation modes in order to promote intermodality practice. Because of many observed problems (such as recurrent congestion phenomena inside stations, high transfer times, long queues in front of services, etc. ) which contribute to deteriorate the image of public transport in general, it becomes more and more important for transit authorities to be able to perform many performance measures for identifying the causes of these problems and trying to find solutions. The main goal of the PhD thesis is to propose a simulation model for evaluating the main performance factors of multimodal transportation hubs. Among the most important quantitative factors, we can mention occupancy rates, queue lengths, mean service times, evacuation times, and measures related to intermodality practice such as connection times and waiting times. The suggested simulation model is based on Batches Petri nets which are an extension of Hybrid Petri nets. This paradigm is suitable for our study because it offers a multiscale modular modeling approach which allows mastering the complexity of the studied system. Besides, it offers formal analysis techniques for checking and design (control) purposes. This simulation model can be successfully used for (i) evaluating existing multimodal hubs, (ii) validating design projects of new multimodal hubs, and (iii) assisting designers during sizing and planning procedures
APA, Harvard, Vancouver, ISO, and other styles
4

Sadani, Tarek. "Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temp-réel décrits en RT-LOTOS." Toulouse, INPT, 2007. http://ethesis.inp-toulouse.fr/archive/00000460/.

Full text
Abstract:
Cette thèse porte sur la vérification formelle de systèmes temps réel et procède par transformation de modèle entre l'algèbre de processus temporisée RT-LOTOS et les réseaux de Petri temporels étendus par des chronomètres et des données. Des schémas de traduction de RT-LOTOS vers ces réseaux de Petri étendus sont proposés et formellent prouvés. L'approche transformationnelle développée pour la partie "contrôle" de RT-LOTOS est étendue à la partie "données". Le langage RT-LOTOS est lui-même enrichi d'un opérateur de suspension/reprise qui permet de modéliser et vérifier une classe plus large de systèmes temps réel. Plusieurs études de cas attestent de l'efficacité des schémas de traduction proposés par rapport à des outils LOTOS ou RT-LOTOS développés antérieurement. L'approche proposée s'avère transposable à d'autres langages de modélisation, en particulier le profil UML temp réel TURTLE (Time UML and RT-LOTOS Environment)
This thesis investigates a transformational approach for the verification of Real-Time systems. The main objective is to reuse several verification techniques and tools originally developed for Time Petri nets for the profit of the timed process algebra RT-LOTOS. A set of translation patterns from RT-LOTOS to Time Petri nets extended with stowatches and data is proposed and formally proved. The RT-LOTOS language is extended with a suspend/resume operator, which allows the description of complex reactive systems whose temporal evolution can be suspended and then resumed at the same point. The efficiency of the new approach is demonstrated on various case studies. This work is not limited to the verification of real-time systems specified in RT-LOTOS. The approach provides a more powerful verification environment for real-time systems modelled in TURTLE, a real-time UML profile
APA, Harvard, Vancouver, ISO, and other styles
5

Sadani, Tarek. "Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2007. http://tel.archives-ouvertes.fr/tel-00149426.

Full text
Abstract:
Cette thèse porte sur la vérification formelle de systèmes temps réel et procède par transformation de modèle entre l'algèbre de processus temporisée RT-LOTOS et les réseaux de Petri temporels étendus par des chronomètres et des données. Des schémas de traduction de RT-LOTOS vers ces réseaux de Petri étendus sont proposés et formellement prouvés. L'approche transformationnelle développée pour la partie " contrôle " de RT-LOTOS est étendue à la partie " données ". Le langage RT-LOTOS est lui même enrichi d'un opérateur de suspension reprise qui permet de modéliser et vérifier une classe plus large de systèmes temps réel Plusieurs études de cas attestent de l'efficacité des schémas de traduction proposés par rapport à des outils LOTOS ou RT-LOTOS développés antérieurement. L'approche proposée s'avère transposable à d'autres langages de modélisation en particulier le profil UML temps réel TURTLE (Timed UML and RT-LOTOS Environment).
APA, Harvard, Vancouver, ISO, and other styles
6

Wu, Jia. "Utilisation de la conduite coopérative pour la régulation de trafic dans une intersection." Phd thesis, Université de Technologie de Belfort-Montbeliard, 2011. http://tel.archives-ouvertes.fr/tel-00703165.

Full text
Abstract:
L'objectif de ce travail est d'exploiter les potentialités offertes par la conduite coopérative afin de fluidifier le trafic au niveau des intersections isolées. Pour ce faire, nous avons proposé un nouveau système de régulation au sein des intersections en s'inspirant du principe de l'intersection autonome. Nous avons appelé notre système : SVAC (système du véhicule-actionneur coopératif). Il repose sur la possibilité des échanges d'information entre le véhicule et son environnement de conduite.Le SVAC permet une régulation plus précise du trafic puisqu'il se base sur les requêtes de droit de passage envoyées par les véhicules réellement présents dans l'intersection. En outre, grâce à la signalisation à bord, la régulation consiste à définir les séquences de passage des véhicules, ce qui permet de personnaliser la signalisation. Le gain de précision soulève plusieurs obstacles. D'une part, nous nous heurtons systématiquement à l'absence de modèles mathématiques permettant d'aborder le problème. D'autre part, la simple énumération des séquences implique une explosion combinatoire, ce qui ne convient pas à l'application temps-réelle de la régulation des intersections. Pour s'affranchir des deux problématiques nous avons utilisé les réseaux de Petri P-temporisés. Le modèle nous a permis de décrire sous la forme d'équations mathématiques les compteurs des différents évènements observés par les véhicules. Deux objectifs de régulation ont été dégagés après avoir déduit le temps moyen d'attente basé sur la formule de Little. Le premier consiste à vider les intersections au plus tôt. Nous avons proposé un algorithme de programmation dynamique et deux heuristiques. La première heuristique est directement issue de l'analyse des propriétés du problème posé. La deuxième est basée sur l'algorithme de colonies de fourmis. En effet, le problème défini est un cas particulier du problème du voyageur de commerce. Le deuxième objectif de régulation consiste à minimiser instantanément la longueur de la file d'attente. Dans ce cadre, nous avons supposé le fonctionnement à vitesse maximale du réseau de Petri. L'utilisation des contraintes sur les ressources nous a permis de définir des règles simples de régulation en utilisant le mapping.Dans ce mémoire, nous avons utilisé la simulation microscopique basée sur les lois de poursuite pour s'approcher du comportement de conduite. La simulation a servi pour la comparaison des différentes approches proposées dans ce mémoire avec les régulateurs adaptatifs et les intersections autonomes. Dans tous les cas notre approche se distingue par un gain de capacité, ce qui nous a encouragé de reproduire le SVAC à travers un prototype de robots. Cette maquette montre la faisabilité du système au moins pour des applications industrielles.
APA, Harvard, Vancouver, ISO, and other styles
7

Henry, Sébastien. "Synthèse de Lois de commande pour la configuration et la reconfiguration des systèmes industriels complexes." Phd thesis, Grenoble INPG, 2005. http://tel.archives-ouvertes.fr/tel-00168412.

Full text
Abstract:
le travail présenté dans ce mémoire de thèse apporte sa contribution à la synthèse de
lois de commande en contexte incertain des systèmes automatisés de production. L'incertain est ici
caractérisé d'une part par les variations imprévues des demandes client, mais également par les aléas
de fonctionnement déclarés au niveau de la partie opérative. L'approche, localisée au niveau 1 du
CIM, et en particulier au sein des modules de coordination des chaînes fonctionnelles, s'intègre au
sein d'un système plus général de Supervision, Surveillance et Commande. L'approche se distingue en
considérant la globalité du processus qui mène à la reconguration des lois de commande. En eet,
elle propose non seulement une méthode de modélisation de la partie opérative utilisant un formalisme
particulièrement adapté à la complexité des procédés considérés mais aussi une technique de synthèse
de lois de commande basée sur un mécanisme de recherche de chemins dans un graphe. La modélisation
proposée, proche de celle utilisée en planication automatique, est basée sur un ensemble d'opérations
qui décrivent la dynamique des chaînes fonctionnelles et leurs eets sur le ux de produits tout en
prenant en considération les contraintes sécuritaires et environnementales associées. Toute l'originalité
du mécanisme de synthèse proposé réside dans le compromis réalisé entre la complexité du graphe
manipulé et les performances de la solution obtenue.
Un exemple d'application basé sur un processus manufacturier réel, la plate-forme SAPHIR du
Laboratoire d'Automatique de Grenoble, et sur l'atelier logiciel développé sur la base du mécanisme
de synthèse proposé illustre les apports de notre approche.
APA, Harvard, Vancouver, ISO, and other styles
8

Sanogo, Alfred. "Méthodologie de conception des modèles exprimés en réseaux Petri : Raffinement des réseaux de Petri colorés." Paris 13, 2012. http://www.theses.fr/2012PA132051.

Full text
Abstract:
Les réseaux de Petri colorés sont très utilisés comme langage de spécification des systèmes complexes caractérisés par la concurrence. La spécification d'un système complexe (réel) nécessite généralement la prise en compte de nombreux détails. Des difficultés apparaissent lorsque l'on essaye de prendre en compte tous ces détails dans le modèle en une seule étape. L'une des solutions consiste à construire un modèle plus abstrait (avec moins de détails) et modifier ce modèle étape par étape en apportant plus de détails à chaque étape. Cette démarche appelée raffinement prend fin lorsque tous les détails sont pris en compte. Plusieurs chercheurs ont travaillé sur le raffinement des modèles exprimés en réseaux de Petri colorés et proposé le raffinement des places, le raffinement des transitions, le raffinement par sous-réseau et le raffinement de type. Nous avons dans notre travail proposé de nouvelles règles de raffinement de type et de transition. Nous essayons d'élargir le raffinement de type proposé par C. Lakos. Cet élargissement concerne la relation qui doit exister entre le type raffiné et le type abstrait et les modifications sur le type. En plus du principe de raffinement de C. Lakos, la relation de sous-typage définie par B. Liskov et J. Wing. La règle de raffinement de transition consiste à remplacer la transition abstraite par un sous-réseau qui comprend des transitions dites alternatives. Nous avons mené des études de cas pour illustrer ces règles de raffinement et développé un outil d'aide à la conception des modèles exprimés en réseaux de Petri colorés.
APA, Harvard, Vancouver, ISO, and other styles
9

Feuillade, Guillaume. "Spécification logique de réseaux de Petri." Rennes 1, 2005. http://www.theses.fr/2005REN1S168.

Full text
Abstract:
Cette thèse porte sur la spécification logique de systèmes concurrents et la synthèse d'un modèle : les systèmes sont les réseaux de Petri non étiquetés et les spécifications sont des formules temporelles. Par l'introduction des réseaux de compteurs et de formules de " test à zéro " d'un compteur, nous réduisons le problème indécidable de la vacuité du langage d'une machine à deux compteurs à celui de la synthèse de réseau à partir d'une formule du Mu-Calcul. Nous affaiblissons la logique en le Nu-Calcul Conjonctif (NCC), et nous lui associons un reconnaisseur, les spécifications modales ; nous en exhibons une sous-classe pour laquelle la synthèse est décidable. Nous introduisons la théorie structurelle d'un réseau donné, exprimable en NCC, dont les modèles sont tous les réseaux qui contiennent le premier. Grâce à cette théorie, nous établissons l'indécidabilité de la synthèse pour le NCC par réduction du problème de l'exécution bornée d'une machine à compteurs.
APA, Harvard, Vancouver, ISO, and other styles
10

Grivet, Sébastien. "Dépliages efficaces de réseaux de Petri." Bordeaux 1, 2004. http://www.theses.fr/2004BOR12915.

Full text
Abstract:
Nous nous intéressons à la vérification de systèmes concurrents tels que les automates communicants et les réseaux de Petri. La vérification de tels systèmes est difficile parce que la présence des composants concurrents augmente de façon importante le nombre des états globaux. Divers techniques ont été proposées pour combattre ce phénomène d'explosion combinatoire. Dans cette thèse, nous nous concentrons sur la technique de dépliage de réseau de Petri. Cette technique tire parti de l'indépendance des actions pour donner une représentation concise des états d'un réseau de Petri. De nombreux travaux ont été réalisés dans ce domaine, mais les aspects d'implémentation ont été souvent négligés. A partir d'une étude expérimentale, nous mettons en avant les parties critiques d'un algorithme de dépliage. Nous proposons de nouvelles stratégies pour diminuer le temps et ccupation-mémoire du calcul. Certaines sont basées sur des techniques de cache et d'autres réduisent le nombre d'appels aux fonctions critiques. Nous introduisons ensuite un nouveau modèle: le produit de réseaux de Petri symétriques. Il nous permet d'effectuer le dépliage de façon modulaire. Nous l'appliquons au produit d'automates. Et les symétries nous permettent d'utiliser des files non bornées. Ces travaux aboutissent à la réalisation d'un outil, l'outil KissPN.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Réseaux de Petri Lots"

1

Desel, Jörg. Free choice Petri nets. Cambridge: Cambridge University Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

David, René, and H. (Hassane) Alla. Du GRAFCET aux réseaux de Petri. Hermes Sciences Publicat., 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Advances in Petri Nets, 1992 (Advances in Petri Nets). Springer, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Advances in Petri nets. Berlin: Springer-Verlag, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Advances in Petri nets. Berlin: Springer-Verlag, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Réseaux de Petri Lots"

1

Chevalier, Marcel, Laurent Buchsbaum, Yoann Robin, and Gaël Le Godais. "Génération automatique de réseaux de Petri à partir de réseaux électriques." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61815.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rullier, J., F. Lechaigne, V. Plassard, and F. Pilorge. "Choix d’une topologie de ferme d’hydroliennes par les réseaux de Petri." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56207.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Thomas, Philippe, Yves Dutuit, and Jean-Pierre Signoret. "Prise en compte des transitions dynamiques au sein des réseaux de Petri stochastiques." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61817.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Guyot, B. "Contributions à la modélisation LCC d’une infrastructure ferroviaire à base de réseaux de Petri." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56094.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Deleuze, Gilles, Nicolae Brinzei, and Thomas Hodicq. "Représentation de défaillances de cause commune orientées dans un système distribué par réseaux de Petri colorés." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61802.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Buchheit, G., O. Malassé, and N. Brinzei. "Modélisation des paramètres fiabilistes des systèmes de signalisation d’une infrastructure ferroviaire par réseaux de Petri colorés." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Réseaux de Petri Lots' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography