Discrete Parameters in Petri Nets

Discrete Parameters in Petri Nets

Afin de permettre une modélisation plus souple des systèmes, nous proposons d étendre les réseaux de Petri par des paramètres discrets représentant le poids des arcs ou le nombre de jetons présents dans les places. Dans ce modèle, tout problème de décision peut être décliné sous deux versions, une u...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : David Nicolas (Auteur), Jard Claude (Directeur de thèse), Lime Didier (Directeur de thèse), Haddad Serge (Président du jury de soutenance), Geeraerts Gilles (Rapporteur de la thèse), Leroux Jérôme (Rapporteur de la thèse), Bertrand Nathalie (Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Université Bretagne Loire 2016-2019 (Autre partenaire associé à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : anglais
Titre complet : Discrete Parameters in Petri Nets / Nicolas David; sous la direction de Claude Jard et de Didier Lime
Publié : 2017
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 : Nantes : 2017
Sujets :
Petri, Réseaux de
Décidabilité (logique mathématique)
>
Thèses et écrits académiques

Internet

http://www.theses.fr/2017NANT4108/document