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

Internet

http://www.theses.fr/2016NANT4003/document