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

Enregistré dans:
Détails bibliographiques
Auteur principal : Comlan, Maurice (1987-....) (Auteur)
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) (Laboratoire associé à la thèse), Université Bretagne Loire (2016-2019) (Autre partenaire associé à la thèse)
Autres auteurs : Roux, Olivier-Henri (1966-....; professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)) (Directeur de thèse), Vianou, Antoine (Directeur de thèse), Attiogbé, Christian (Président du jury de soutenance), Martineau, Patrick (1967-....) (Rapporteur de la thèse), Niel, Eric (Opposant, Rapporteur de la thèse., Membre du jury), Frizon de Lamotte, Florent (1980-....) (Opposant, Membre du jury), Lahaye, Sébastien (19..-....) (Opposant, Membre du jury), Delfieu, David (Opposant, Membre du jury)
Format : Thèse Électronique eBook
Langue :français
Sujets :
Petri, Réseaux de.
Informatique.
Arcs de reset
Dépliage
Algèbre de processus
Thèses et écrits académiques.
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

Documents similaires

Documents similaires