Présentation
En anglais
RÉSUMÉ
Les systèmes de commande jouent un rôle majeur dans le pilotage des systèmes technologiques modernes. Ils sont présents notamment dans de nombreux systèmes industriels et de transport dans lesquels ils contribuent à la réalisation de missions complexes. Les méthodes d’analyse de la sûreté de fonctionnement (SdF) permettent d’anticiper et de maîtriser leurs dysfonctionnements. Dans cet article, un exemple d'application est décliné sur les différentes méthodes de la sûreté de fonctionnement existant à ce jour. Il s'agit d'un système de régulation de température d'un four électrique constitué d'un régulateur continu (proportionnel et intégral par exemple). Est présenté à cette occasion un certain nombre de rappels concernant les réseaux de Petri (RdP), réseaux qui se posent en modèles de description des systèmes à événements discrets.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleABSTRACT
Control systems play a major part in the piloting of modern technological systems. They are notably present in numerous industrial and transport systems in which they contribute to the carrying out of complex missions. The analysis methods of operational safety (OS) allow for the anticipation and control of their malfunctions. In this article, an example of application is illustrates the various existing methods of operational safety. It consists of a regulation system of the temperature of an electric furnace composed of a continuous regulator (proportional and integral for instance). A certain number of reminders concerning the Petri networks (PNs) are presented on this occasion, networks which are true models for the description of discrete event systems.
Auteur(s)
-
Jean-François AUBRY : Professeur à l'Institut national polytechnique de Lorraine (INPL)
-
Éric CHATELET : Professeur à l'université de technologie de Troyes (UTT)
INTRODUCTION
Dans cet article, qui fait suite à l'article Sûreté de fonctionnement des systèmes de commande- Principes et méthodes[S 8 262], nous donnons un exemple d'application décliné sur les différentes méthodes d'analyse de la sûreté de fonctionnement. Nous présentons ensuite un certain nombre de rappels concernant les réseaux de Petri (RdP).
Introduits au début des années 1960 par Carl Adam Petri, les réseaux de Petri (RdP) sont des modèles de description des systèmes à événements discrets.
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Automatique et ingénierie système
(138 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Exemple d'application
En anglais
3. Extensions des réseaux de Petri
-
Réseaux de Petri temporisés Sûreté de fonctionnement des systèmes de commande[15]
Dans les réseaux P-temporisés, la temporisation associée aux places s'applique à la disponibilité de la marque : lorsque celle-ci entre dans une place, elle ne sera disponible qu'après un délai. Ce délai écoulé, la marque est disponible pour déterminer si les transitions sont franchissables comme dans les réseaux autonomes.
Dans les réseaux T-temporisés, lorsqu'une marque entre dans une place, elle est aussitôt prise en compte (réservée) pour le franchissement des transitions, mais ne sera déposée dans la place d'arrivée qu'après un certain délai. Le tir de la transition est donc effectué en deux temps.
-
Réseaux de Petri synchronisés
Un réseau de Petri synchronisé (RdPSy) Sûreté de fonctionnement des systèmes de commande[15] est un réseau de Petri marqué, associé à un ensemble d'événements E par une application μ de T (ensemble des transitions) dans E ∪ {e }, e étant l'événement toujours occurrent (élément neutre). Lorsqu'elle est validée, une transition sera franchissable lorsque l'événement associé se produira, elle sera alors instantanément franchie (sauf éventuellement en cas de conflit). Si l'événement associé à la transition est e, la transition est franchissable dès qu'elle est validée.
On distingue la notion de « marquage accessible » de celle de « marquage stable » ou en attente d'un événement de synchronisation de l'ensemble E.
-
Réseaux de Petri synchronisés et temporisés
Ces réseaux introduisent le facteur temps dans les réseaux synchronisés sous forme de temporisation au passage des...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(138 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Extensions des réseaux de Petri
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Automatique et ingénierie système
(138 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
