2 résultat(s) recherche sur le mot-clé 'réseau de Pétri'    

Accessibilité et morphismes itérés / Jean-Jacques PANSIOT (1983)

Public ISBD 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é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 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)

Public ISBD 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é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. 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