Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement

Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement

Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moi...

Description complète

Détails bibliographiques
Auteurs principaux : Comlan Maurice (Auteur), Roux Olivier-Henri (Directeur de thèse), Vianou Antoine (Directeur de thèse), Attiogbé Christian (Président du jury de soutenance), Martineau Patrick (Rapporteur de la thèse), Niel Eric (Rapporteur de la thèse, Membre du jury), Frizon de Lamotte Florent (Membre du jury), Lahaye Sébastien (Membre du jury), Delfieu David (Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse), Université Bretagne Loire 2016-2019 (Autre partenaire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / Maurice Comlan; sous la direction de Olivier Henri Roux et de Antoine Vianou
Publié : 2016
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique et applications : Nantes : 2016
Sujets :
Petri, Réseaux de
Informatique
Arcs de reset
Dépliage
Algèbre de processus
Thèses et écrits académiques
LEADER 06513clm a2200697 4500
001 PPN196814162
003 http://www.sudoc.fr/196814162
005 20240829055200.0
029 |a FR  |b 2016NANT4003 
033 |a http://www.theses.fr/2016NANT4003 
035 |a (OCoLC)1250009317 
035 |a STAR80404 
100 |a 20161129d2016 k y0frey0103 ba 
101 0 |a fre  |d fre  |d eng  |2 639-2 
102 |a FR 
105 |a ||||ma 00|yy 
135 |a dr||||||||||| 
181 1 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 1 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 |6 z01  |a ceb  |2 RDAfrCarrier 
200 1 |a Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement  |f Maurice Comlan  |g sous la direction de Olivier Henri Roux et de Antoine Vianou 
214 1 |d 2016 
230 |a Données textuelles 
304 |a Titre provenant de l'écran-titre 
314 |a Ecole(s) Doctorale(s) : École doctorale Sciences et technologies de l'information et mathématiques (Nantes) 
314 |a Partenaire(s) de recherche : Institut de recherche en communications et cybernétique (Nantes) (1958-2017) (Laboratoire), Université Bretagne Loire (COMUE) 
314 |a Autre(s) contribution(s) : Christian Attiogbé (Président du jury) ; Eric Niel, Florent Frizon de Lamotte, Sébastien Lahaye, David Delfieu (Membre(s) du jury) ; Patrick Martineau, Eric Niel (Rapporteur(s)) 
328 0 |b Thèse de doctorat  |c Informatique et applications  |e Nantes  |d 2016 
330 |a Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d états (ou espace d états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l accessibilité, la terminaison, la vivacité, l absence de blocage, etc. Mais la construction de cet espace d états est confrontée au problème d explosion combinatoire du nombre d états lié à la complexité et à la concurrence du système.L une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri. 
330 |a Petri nets and their extensions are a well-known formalism for modeling the specification of discrete events systems real-time. For these systems, the demands of verification and validation are essential to ensure their smooth functioning because the least error can lead to catastrophic consequences. To analyze the behavior of the system, it is common to construct the stategraph (or state space) which lists exhaustively the different accessible states. This graph allows to check the generic properties such as boundedness, accessibility, termination, vivacity, the absence of blocking, etc. But building this state space is confronted with the problem of combinatorial explosion of the number of states related to the complexity and concurrence of the system. One of the alternatives to contain this combination is to keep only partial orders between events. Unfolding is a partial order adapted to technical verification, diagnosis and planning. This thesis contributes to the study of the unfolding of Petri nets and, in particular, his contributes to the unfolding of Petri nets with reset arcs. Moreover, the unfolding explains the possible executions of the system which are, by definition, the processes. This is specifically the branching processes that differ from conventional processes. Thus, we propose an algebra adapted to the branching process from unfolding of Petri nets. 
337 |a Configuration requise : un logiciel capable de lire un fichier au format : PDF 
541 | |a Contribution to the unfolding of Petri nets and to the analysis of branching process  |z eng 
606 |3 PPN027674401  |a Petri, Réseaux de  |2 rameau 
606 |3 PPN027234886  |a Informatique  |2 rameau 
608 |3 PPN027253139  |a Thèses et écrits académiques  |2 rameau 
610 0 |a Arcs de reset 
610 0 |a Dépliage 
610 0 |a Algèbre de processus 
686 |a 004  |2 TEF 
700 1 |3 PPN196573475  |a Comlan  |b Maurice  |f 1987-....  |4 070 
701 1 |3 PPN066922836  |a Roux  |b Olivier-Henri  |f 1966-....  |c professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)  |4 727 
701 1 |3 PPN128035145  |a Vianou  |b Antoine  |4 727 
701 1 |3 PPN073264555  |a Attiogbé  |b Christian  |4 956 
701 1 |3 PPN095197400  |a Martineau  |b Patrick  |f 1967-....  |4 958 
701 1 |3 PPN029782090  |a Niel  |b Eric  |4 958  |4 555 
701 1 |3 PPN113207131  |a Frizon de Lamotte  |b Florent  |f 1980-....  |4 555 
701 1 |3 PPN132783835  |a Lahaye  |b Sébastien  |4 555 
701 1 |3 PPN152847553  |a Delfieu  |b David  |4 555 
711 0 2 |3 PPN026403447  |a Université de Nantes  |c 1962-2021  |4 295 
711 0 2 |3 PPN134103211  |a École doctorale Sciences et technologies de l'information et mathématiques  |c Nantes  |4 996 
711 0 2 |3 PPN113164726  |a Institut de recherche en communications et cybernétique  |c Nantes  |f 1958-2017  |4 981 
711 0 2 |3 PPN191639044  |a Université Bretagne Loire  |c 2016-2019  |4 985 
801 3 |a FR  |b Abes  |c 20230302  |g AFNOR 
856 4 |q PDF  |s 1550669  |u http://www.theses.fr/2016NANT4003/document  |z Accès au texte intégral 
856 4 |u https://archive.bu.univ-nantes.fr/pollux/show.action?id=492026a6-a645-4ab6-aaf3-44bbd87e9a55 
856 4 |u http://www.theses.fr/2016NANT4003/abes 
930 |5 441099901:778931358  |b 441099901  |j g 
991 |5 441099901:778931358  |a exemplaire créé automatiquement par STAR 
998 |a 763751