A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'réseau de Pétri' 




Accessibilité et morphismes itérés / Jean-Jacques PANSIOT (1983)
Titre : Accessibilité et morphismes itérés Type de document : texte imprimé Auteurs : Jean-Jacques PANSIOT, Auteur ; Dominique FOATA, Directeur de thèse Editeur : Strasbourg : Université Louis Pasteur Année de publication : 1983 Collection : Publication de l'IRMA, ISSN 0755-3390 num. 201/TE-22 Importance : 166 p. Note générale : Thèse
Spécialité :mathématiquesLangues : Français Anglais Mots-clés : système d'addition de vecteurs réseau de Pétri semi linéarité décidabilité mot infini morphisme itéré tag-système Note de contenu : références Accessibilité et morphismes itérés [texte imprimé] / Jean-Jacques PANSIOT, Auteur ; Dominique FOATA, Directeur de thèse . - Strasbourg : Université Louis Pasteur, 1983 . - 166 p.. - (Publication de l'IRMA, ISSN 0755-3390; 201/TE-22) .
Thèse
Spécialité :mathématiques
Langues : Français Anglais
Mots-clés : système d'addition de vecteurs réseau de Pétri semi linéarité décidabilité mot infini morphisme itéré tag-système Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14473 T/PAN/STR Livre Recherche Salle Disponible Présentations d'opérades et systèmes de réécriture / Yves GUIRAUD (2004)
Titre : Présentations d'opérades et systèmes de réécriture Type de document : texte imprimé Auteurs : Yves GUIRAUD, Auteur ; Daniel GUIN, Directeur de thèse ; Philippe ELBAZ-VINCENT, Directeur de thèse Editeur : Montpellier : Université Montpellier II, Sciences et Techniques du Languedoc Année de publication : 2004 Importance : 317 p. Note générale : Thèse
Spécialité : mathématiquesLangues : Français Mots-clés : opérade diagramme de Penrose algèbre universelle réseau de Pétri lambda-calcul Note de contenu : bibliogr. Présentations d'opérades et systèmes de réécriture [texte imprimé] / Yves GUIRAUD, Auteur ; Daniel GUIN, Directeur de thèse ; Philippe ELBAZ-VINCENT, Directeur de thèse . - Montpellier : Université Montpellier II, Sciences et Techniques du Languedoc, 2004 . - 317 p.
Thèse
Spécialité : mathématiques
Langues : Français
Mots-clés : opérade diagramme de Penrose algèbre universelle réseau de Pétri lambda-calcul Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19915 T/GUI/MTP Livre Recherche Salle Disponible