Nantilus
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...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , , |
| Autres auteurs : | , , , , , , , |
| Format : | Thèse Électronique eBook |
| Langue : | français |
| Sujets : | |
| Accès en ligne : | Accès au texte intégral https://archive.bu.univ-nantes.fr/pollux/show.action?id=492026a6-a645-4ab6-aaf3-44bbd87e9a55 http://www.theses.fr/2016NANT4003/abes |
MARC
| LEADER | 00000cmm a2200000 i 4500 | ||
|---|---|---|---|
| 001 | in00000524498 | ||
| 005 | 20231215041614.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161129s2016||||fr ||||f|||d ||||||fre d | ||
| 024 | 7 | |a 2016NANT4003 |2 FRnnt | |
| 035 | |a (OCoLC)1250009317 | ||
| 035 | |a STAR80404 | ||
| 035 | |a (PPN)196814162 | ||
| 040 | |a ABES |b fre |e AFNOR | ||
| 041 | 0 | |a fre |b fre |b eng |2 639-2 | |
| 084 | |a 004. |2 TEF | ||
| 100 | 1 | |0 (IdRef)196573475 |1 http://www.idref.fr/196573475/id |a Comlan, Maurice |d (1987-....). |4 aut. |e Auteur | |
| 242 | 1 | 0 | |a Contribution to the unfolding of Petri nets and to the analysis of branching process. |y eng |
| 245 | 1 | 0 | |a Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / |c Maurice Comlan ; sous la direction de Olivier Henri Roux et de Antoine Vianou. |
| 256 | |a Données textuelles. | ||
| 264 | 0 | |c 2016. | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 337 | |b b |2 isbdmedia | ||
| 338 | |b ceb |2 RDAfrCarrier | ||
| 500 | |a Titre provenant de l'écran-titre. | ||
| 502 | |a Thèse de doctorat : Informatique et applications : Nantes : 2016 | ||
| 520 | |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. | ||
| 520 | |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. | ||
| 538 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF. | ||
| 550 | |a Ecole(s) Doctorale(s) : École doctorale Sciences et technologies de l'information et mathématiques (Nantes) | ||
| 550 | |a Partenaire(s) de recherche : Institut de recherche en communications et cybernétique (Nantes) (1958-2017) (Laboratoire), Université Bretagne Loire (COMUE) | ||
| 550 | |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)) | ||
| 650 | 7 | |0 (IdRef)027674401 |1 http://www.idref.fr/027674401/id |a Petri, Réseaux de. |2 ram | |
| 650 | 7 | |0 (IdRef)027234886 |1 http://www.idref.fr/027234886/id |a Informatique. |2 ram | |
| 653 | |a Arcs de reset | ||
| 653 | |a Dépliage | ||
| 653 | |a Algèbre de processus | ||
| 655 | 7 | |0 (IdRef)027253139 |1 http://www.idref.fr/027253139/id |a Thèses et écrits académiques. |2 ram | |
| 700 | 1 | |0 (IdRef)066922836 |1 http://www.idref.fr/066922836/id |a Roux, Olivier-Henri |d (1966-....; |c professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)). |4 ths. |e Directeur de thèse | |
| 700 | 1 | |0 (IdRef)128035145 |1 http://www.idref.fr/128035145/id |a Vianou, Antoine. |4 ths. |e Directeur de thèse | |
| 700 | 1 | |0 (IdRef)073264555 |1 http://www.idref.fr/073264555/id |a Attiogbé, Christian. |4 956. |e Président du jury de soutenance | |
| 700 | 1 | |0 (IdRef)095197400 |1 http://www.idref.fr/095197400/id |a Martineau, Patrick |d (1967-....). |4 958. |e Rapporteur de la thèse | |
| 700 | 1 | |0 (IdRef)029782090 |1 http://www.idref.fr/029782090/id |a Niel, Eric. |4 958. |4 opn. |e Rapporteur de la thèse. |e Membre du jury | |
| 700 | 1 | |0 (IdRef)113207131 |1 http://www.idref.fr/113207131/id |a Frizon de Lamotte, Florent |d (1980-....). |4 opn. |e Membre du jury | |
| 700 | 1 | |0 (IdRef)132783835 |1 http://www.idref.fr/132783835/id |a Lahaye, Sébastien |d (19..-....). |4 opn. |e Membre du jury | |
| 700 | 1 | |0 (IdRef)152847553 |1 http://www.idref.fr/152847553/id |a Delfieu, David. |4 opn. |e Membre du jury | |
| 710 | 2 | |0 (IdRef)026403447 |1 http://www.idref.fr/026403447/id |a Université de Nantes (1962-2021). |4 dgg. |e Organisme de soutenance | |
| 710 | 2 | |0 (IdRef)134103211 |1 http://www.idref.fr/134103211/id |a École doctorale Sciences et technologies de l'information et mathématiques (Nantes). |4 996. |e Ecole doctorale associée à la thèse | |
| 710 | 2 | |0 (IdRef)113164726 |1 http://www.idref.fr/113164726/id |a Institut de recherche en communications et cybernétique (Nantes) |d (1958-2017). |4 981. |e Laboratoire associé à la thèse | |
| 710 | 2 | |0 (IdRef)191639044 |1 http://www.idref.fr/191639044/id |a Université Bretagne Loire (2016-2019). |4 985. |e Autre partenaire associé à la thèse | |
| 856 | |q PDF |s 1550669 |u http://www.theses.fr/2016NANT4003/document |z Accès au texte intégral | ||
| 856 | |u https://archive.bu.univ-nantes.fr/pollux/show.action?id=492026a6-a645-4ab6-aaf3-44bbd87e9a55 | ||
| 856 | |u http://www.theses.fr/2016NANT4003/abes | ||
| 886 | 2 | |2 unimarc |a 181 |a i# |b xxxe## | |
| 930 | |5 441099901:778931358 |b 441099901 |j g | ||
| 991 | |5 441099901:778931358 |a exemplaire créé automatiquement par STAR | ||
| 999 | f | f | |i aa35371f-501a-5e6b-b955-98830488341b |s f7eb1caa-36cb-5f10-83e1-4b7362435d35 |t 0 |
| 952 | f | f | |p P0 Non empruntable |a Nantes Université |b Numérique |c Bibliothèque numérique |d Thèses de doctorat |t 1 |h Locale |i Indéterminé |m 2016NANT4003 |
Notice dans l'index de recherche
| _version_ | 1814874366763073536 |
|---|---|
| author | Comlan, Maurice (1987-....) |
| author2 | Roux, Olivier-Henri (1966-....; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)) Vianou, Antoine Attiogbé, Christian Martineau, Patrick (1967-....) Niel, Eric Niel, Eric Niel, Eric Frizon de Lamotte, Florent (1980-....) Frizon de Lamotte, Florent (1980-....) Lahaye, Sébastien (19..-....) Lahaye, Sébastien (19..-....) Delfieu, David Delfieu, David |
| author2_role | ths ths Président du jury de soutenance Rapporteur de la thèse opn Rapporteur de la thèse. Membre du jury opn Membre du jury opn Membre du jury opn Membre du jury |
| author2_variant | o h r ohr a v av c a ca p m pm e n en e n en e n en d l f f dlf dlff d l f f dlf dlff s l sl s l sl d d dd d d dd |
| author_corporate | Université de Nantes (1962-2021) École doctorale Sciences et technologies de l'information et mathématiques (Nantes) Institut de recherche en communications et cybernétique (Nantes) Université Bretagne Loire (2016-2019) |
| author_corporate_role | Organisme de soutenance Ecole doctorale associée à la thèse Laboratoire associé à la thèse Autre partenaire associé à la thèse |
| author_facet | Comlan, Maurice (1987-....) Roux, Olivier-Henri (1966-....; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)) Vianou, Antoine Attiogbé, Christian Martineau, Patrick (1967-....) Niel, Eric Niel, Eric Niel, Eric Frizon de Lamotte, Florent (1980-....) Frizon de Lamotte, Florent (1980-....) Lahaye, Sébastien (19..-....) Lahaye, Sébastien (19..-....) Delfieu, David Delfieu, David Université de Nantes (1962-2021) École doctorale Sciences et technologies de l'information et mathématiques (Nantes) Institut de recherche en communications et cybernétique (Nantes) Université Bretagne Loire (2016-2019) |
| author_role | aut |
| author_sort | Comlan, Maurice (1987-....) |
| author_variant | m c mc |
| building | Bibliothèque numérique |
| campus_str_mv | Numérique |
| collection | Thèses de doctorat |
| ctrlnum | (OCoLC)1250009317 STAR80404 (PPN)196814162 |
| format | Thesis Electronic eBook |
| fullrecord | {"leader":"00000cmm a2200000 i 4500","fields":[{"001":"in00000524498"},{"005":"20231215041614.0"},{"007":"cr|uuu---uuuuu"},{"008":"161129s2016||||fr ||||f|||d ||||||fre d"},{"024":{"subfields":[{"a":"2016NANT4003"},{"2":"FRnnt"}],"ind1":"7","ind2":" "}},{"035":{"subfields":[{"a":"(OCoLC)1250009317"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"STAR80404"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"(PPN)196814162"}],"ind1":" ","ind2":" "}},{"040":{"subfields":[{"a":"ABES"},{"b":"fre"},{"e":"AFNOR"}],"ind1":" ","ind2":" "}},{"041":{"subfields":[{"a":"fre"},{"b":"fre"},{"b":"eng"},{"2":"639-2"}],"ind1":"0","ind2":" "}},{"084":{"subfields":[{"a":"004."},{"2":"TEF"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"0":"(IdRef)196573475"},{"1":"http://www.idref.fr/196573475/id"},{"a":"Comlan, Maurice"},{"d":"(1987-....)."},{"4":"aut."},{"e":"Auteur"}],"ind1":"1","ind2":" "}},{"242":{"subfields":[{"a":"Contribution to the unfolding of Petri nets and to the analysis of branching process."},{"y":"eng"}],"ind1":"1","ind2":"0"}},{"245":{"subfields":[{"a":"Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement /"},{"c":"Maurice Comlan ; sous la direction de Olivier Henri Roux et de Antoine Vianou."}],"ind1":"1","ind2":"0"}},{"256":{"subfields":[{"a":"Données textuelles."}],"ind1":" ","ind2":" "}},{"264":{"subfields":[{"c":"2016."}],"ind1":" ","ind2":"0"}},{"336":{"subfields":[{"b":"txt"},{"2":"rdacontent"}],"ind1":" ","ind2":" "}},{"337":{"subfields":[{"b":"c"},{"2":"rdamedia"}],"ind1":" ","ind2":" "}},{"337":{"subfields":[{"b":"b"},{"2":"isbdmedia"}],"ind1":" ","ind2":" "}},{"338":{"subfields":[{"b":"ceb"},{"2":"RDAfrCarrier"}],"ind1":" ","ind2":" "}},{"500":{"subfields":[{"a":"Titre provenant de l'écran-titre."}],"ind1":" ","ind2":" "}},{"502":{"subfields":[{"a":"Thèse de doctorat : Informatique et applications : Nantes : 2016"}],"ind1":" ","ind2":" "}},{"520":{"subfields":[{"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\u2019états (ou espace d\u2019é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\u2019accessibilité, la terminaison, la vivacité, l\u2019absence de blocage, etc. Mais la construction de cet espace d\u2019états est confrontée au problème d\u2019explosion combinatoire du nombre d\u2019états lié à la complexité et à la concurrence du système.L\u2019une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d\u2019ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l\u2019é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\u2019agit 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."}],"ind1":" ","ind2":" "}},{"520":{"subfields":[{"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."}],"ind1":" ","ind2":" "}},{"538":{"subfields":[{"a":"Configuration requise : un logiciel capable de lire un fichier au format : PDF."}],"ind1":" ","ind2":" "}},{"550":{"subfields":[{"a":"Ecole(s) Doctorale(s) : École doctorale Sciences et technologies de l'information et mathématiques (Nantes)"}],"ind1":" ","ind2":" "}},{"550":{"subfields":[{"a":"Partenaire(s) de recherche : Institut de recherche en communications et cybernétique (Nantes) (1958-2017) (Laboratoire), Université Bretagne Loire (COMUE)"}],"ind1":" ","ind2":" "}},{"550":{"subfields":[{"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))"}],"ind1":" ","ind2":" "}},{"650":{"subfields":[{"0":"(IdRef)027674401"},{"1":"http://www.idref.fr/027674401/id"},{"a":"Petri, Réseaux de."},{"2":"ram"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"0":"(IdRef)027234886"},{"1":"http://www.idref.fr/027234886/id"},{"a":"Informatique."},{"2":"ram"}],"ind1":" ","ind2":"7"}},{"653":{"subfields":[{"a":"Arcs de reset"}],"ind1":" ","ind2":" "}},{"653":{"subfields":[{"a":"Dépliage"}],"ind1":" ","ind2":" "}},{"653":{"subfields":[{"a":"Algèbre de processus"}],"ind1":" ","ind2":" "}},{"655":{"subfields":[{"0":"(IdRef)027253139"},{"1":"http://www.idref.fr/027253139/id"},{"a":"Thèses et écrits académiques."},{"2":"ram"}],"ind1":" ","ind2":"7"}},{"700":{"subfields":[{"0":"(IdRef)066922836"},{"1":"http://www.idref.fr/066922836/id"},{"a":"Roux, Olivier-Henri"},{"d":"(1966-....; "},{"c":"professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024))."},{"4":"ths."},{"e":"Directeur de thèse"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)128035145"},{"1":"http://www.idref.fr/128035145/id"},{"a":"Vianou, Antoine."},{"4":"ths."},{"e":"Directeur de thèse"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)073264555"},{"1":"http://www.idref.fr/073264555/id"},{"a":"Attiogbé, Christian."},{"4":"956."},{"e":"Président du jury de soutenance"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)095197400"},{"1":"http://www.idref.fr/095197400/id"},{"a":"Martineau, Patrick"},{"d":"(1967-....)."},{"4":"958."},{"e":"Rapporteur de la thèse"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)029782090"},{"1":"http://www.idref.fr/029782090/id"},{"a":"Niel, Eric."},{"4":"958."},{"4":"opn."},{"e":"Rapporteur de la thèse."},{"e":"Membre du jury"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)113207131"},{"1":"http://www.idref.fr/113207131/id"},{"a":"Frizon de Lamotte, Florent"},{"d":"(1980-....)."},{"4":"opn."},{"e":"Membre du jury"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)132783835"},{"1":"http://www.idref.fr/132783835/id"},{"a":"Lahaye, Sébastien"},{"d":"(19..-....)."},{"4":"opn."},{"e":"Membre du jury"}],"ind1":"1","ind2":" "}},{"700":{"subfields":[{"0":"(IdRef)152847553"},{"1":"http://www.idref.fr/152847553/id"},{"a":"Delfieu, David."},{"4":"opn."},{"e":"Membre du jury"}],"ind1":"1","ind2":" "}},{"710":{"subfields":[{"0":"(IdRef)026403447"},{"1":"http://www.idref.fr/026403447/id"},{"a":"Université de Nantes (1962-2021)."},{"4":"dgg."},{"e":"Organisme de soutenance"}],"ind1":"2","ind2":" "}},{"710":{"subfields":[{"0":"(IdRef)134103211"},{"1":"http://www.idref.fr/134103211/id"},{"a":"École doctorale Sciences et technologies de l'information et mathématiques (Nantes)."},{"4":"996."},{"e":"Ecole doctorale associée à la thèse"}],"ind1":"2","ind2":" "}},{"710":{"subfields":[{"0":"(IdRef)113164726"},{"1":"http://www.idref.fr/113164726/id"},{"a":"Institut de recherche en communications et cybernétique (Nantes)"},{"d":"(1958-2017)."},{"4":"981."},{"e":"Laboratoire associé à la thèse"}],"ind1":"2","ind2":" "}},{"710":{"subfields":[{"0":"(IdRef)191639044"},{"1":"http://www.idref.fr/191639044/id"},{"a":"Université Bretagne Loire (2016-2019)."},{"4":"985."},{"e":"Autre partenaire associé à la thèse"}],"ind1":"2","ind2":" "}},{"856":{"subfields":[{"q":"PDF"},{"s":"1550669"},{"u":"http://www.theses.fr/2016NANT4003/document"},{"z":"Accès au texte intégral"}],"ind1":" ","ind2":" "}},{"856":{"subfields":[{"u":"https://archive.bu.univ-nantes.fr/pollux/show.action?id=492026a6-a645-4ab6-aaf3-44bbd87e9a55"}],"ind1":" ","ind2":" "}},{"856":{"subfields":[{"u":"http://www.theses.fr/2016NANT4003/abes"}],"ind1":" ","ind2":" "}},{"886":{"subfields":[{"2":"unimarc"},{"a":"181"},{"a":"i#"},{"b":"xxxe##"}],"ind1":"2","ind2":" "}},{"930":{"subfields":[{"5":"441099901:778931358"},{"b":"441099901"},{"j":"g"}],"ind1":" ","ind2":" "}},{"991":{"subfields":[{"5":"441099901:778931358"},{"a":"exemplaire créé automatiquement par STAR"}],"ind1":" ","ind2":" "}},{"999":{"subfields":[{"i":"aa35371f-501a-5e6b-b955-98830488341b"},{"s":"f7eb1caa-36cb-5f10-83e1-4b7362435d35"},{"t":"0"}],"ind1":"f","ind2":"f"}},{"952":{"subfields":[{"p":"P0 Non empruntable"},{"a":"Nantes Université"},{"b":"Numérique"},{"c":"Bibliothèque numérique"},{"d":"Thèses de doctorat"},{"t":"1"},{"h":"Locale"},{"i":"Indéterminé"},{"m":"2016NANT4003"}],"ind1":"f","ind2":"f"}}]}
|
| genre | (IdRef)027253139 http://www.idref.fr/027253139/id Thèses et écrits académiques. ram |
| genre_facet | Thèses et écrits académiques. |
| id | in00000524498 |
| illustrated | Not Illustrated |
| institution | Nantes Université |
| language | French |
| oclc_num | 1250009317 |
| online_boolean | |
| record_format | marc |
| spelling | (IdRef)196573475 http://www.idref.fr/196573475/id Comlan, Maurice (1987-....). aut. Auteur Contribution to the unfolding of Petri nets and to the analysis of branching process. eng 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. Données textuelles. 2016. txt rdacontent c rdamedia b isbdmedia ceb RDAfrCarrier Titre provenant de l'écran-titre. Thèse de doctorat : Informatique et applications : Nantes : 2016 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. 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. Configuration requise : un logiciel capable de lire un fichier au format : PDF. Ecole(s) Doctorale(s) : École doctorale Sciences et technologies de l'information et mathématiques (Nantes) Partenaire(s) de recherche : Institut de recherche en communications et cybernétique (Nantes) (1958-2017) (Laboratoire), Université Bretagne Loire (COMUE) 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)) (IdRef)027674401 http://www.idref.fr/027674401/id Petri, Réseaux de. ram (IdRef)027234886 http://www.idref.fr/027234886/id Informatique. ram Arcs de reset Dépliage Algèbre de processus (IdRef)027253139 http://www.idref.fr/027253139/id Thèses et écrits académiques. ram (IdRef)066922836 http://www.idref.fr/066922836/id Roux, Olivier-Henri (1966-....; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)). ths. Directeur de thèse (IdRef)128035145 http://www.idref.fr/128035145/id Vianou, Antoine. ths. Directeur de thèse (IdRef)073264555 http://www.idref.fr/073264555/id Attiogbé, Christian. 956. Président du jury de soutenance (IdRef)095197400 http://www.idref.fr/095197400/id Martineau, Patrick (1967-....). 958. Rapporteur de la thèse (IdRef)029782090 http://www.idref.fr/029782090/id Niel, Eric. 958. opn. Rapporteur de la thèse. Membre du jury (IdRef)113207131 http://www.idref.fr/113207131/id Frizon de Lamotte, Florent (1980-....). opn. Membre du jury (IdRef)132783835 http://www.idref.fr/132783835/id Lahaye, Sébastien (19..-....). opn. Membre du jury (IdRef)152847553 http://www.idref.fr/152847553/id Delfieu, David. opn. Membre du jury (IdRef)026403447 http://www.idref.fr/026403447/id Université de Nantes (1962-2021). dgg. Organisme de soutenance (IdRef)134103211 http://www.idref.fr/134103211/id École doctorale Sciences et technologies de l'information et mathématiques (Nantes). 996. Ecole doctorale associée à la thèse (IdRef)113164726 http://www.idref.fr/113164726/id Institut de recherche en communications et cybernétique (Nantes) (1958-2017). 981. Laboratoire associé à la thèse (IdRef)191639044 http://www.idref.fr/191639044/id Université Bretagne Loire (2016-2019). 985. Autre partenaire associé à la thèse PDF 1550669 http://www.theses.fr/2016NANT4003/document Accès au texte intégral https://archive.bu.univ-nantes.fr/pollux/show.action?id=492026a6-a645-4ab6-aaf3-44bbd87e9a55 http://www.theses.fr/2016NANT4003/abes unimarc 181 i# xxxe## |
| spellingShingle | Comlan, Maurice (1987-....) Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / (IdRef)027674401 http://www.idref.fr/027674401/id Petri, Réseaux de. ram (IdRef)027234886 http://www.idref.fr/027234886/id Informatique. ram Arcs de reset Dépliage Algèbre de processus |
| title | Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / |
| title_auth | Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / |
| title_full | 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. |
| title_fullStr | 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. |
| title_full_unstemmed | 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. |
| title_short | Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement / |
| title_sort | contribution au depliage des reseaux de petri et a l analyse des processus de branchement |
| topic | (IdRef)027674401 http://www.idref.fr/027674401/id Petri, Réseaux de. ram (IdRef)027234886 http://www.idref.fr/027234886/id Informatique. ram Arcs de reset Dépliage Algèbre de processus |
| topic_facet | Petri, Réseaux de. Informatique. |
| url | http://www.theses.fr/2016NANT4003/document https://archive.bu.univ-nantes.fr/pollux/show.action?id=492026a6-a645-4ab6-aaf3-44bbd87e9a55 http://www.theses.fr/2016NANT4003/abes |
| work_keys_str_mv | AT comlanmaurice contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT rouxolivierhenri contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT vianouantoine contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT attiogbechristian contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT martineaupatrick contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT nieleric contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT frizondelamotteflorent contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT lahayesebastien contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT delfieudavid contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT universitedenantes19622021 contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT ecoledoctoralesciencesettechnologiesdelinformationetmathematiquesnantes contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT institutderechercheencommunicationsetcybernetiquenantes contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement AT universitebretagneloire20162019 contributionaudepliagedesreseauxdepetrietalanalysedesprocessusdebranchement |