Résultat de la recherche
8 recherche sur le tag
'Réseaux de pétri' 




Une approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles / Mohamed Rédha Bahri
![]()
Titre : Une approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles Type de document : texte imprimé Auteurs : Mohamed Rédha Bahri ; Allaoua Chaoui, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique Année de publication : 2010 Importance : 126 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Agent mobile Réseaux de Petri UML UML-Mobile MDA Transformation de graphes Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BAH5701.pdf Permalink : index.php?lvl=notice_display&id=4600 Une approche intégrée Mobile-UML/Réseaux de Pétri pour l'analyse des systèmes distribués à base d'agents mobiles [texte imprimé] / Mohamed Rédha Bahri ; Allaoua Chaoui, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique . - 2010 . - 126 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Agent mobile Réseaux de Petri UML UML-Mobile MDA Transformation de graphes Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BAH5701.pdf Permalink : index.php?lvl=notice_display&id=4600 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BAH/5701 BAH/5701 Thèse Bibliothèque principale Thèses Disponible
Titre : Approche mixte de modélisation par les réseaux de Petri et SMA Type de document : texte imprimé Auteurs : Houda Haiouni ; Univ. de Constantine, Éditeur scientifique ; Nadia Zaghib, Directeur de thèse Année de publication : 2010 Importance : 120 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Modélisation Systèmes multi-agents Réseaux de Petri Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/HAI5853.pdf Permalink : index.php?lvl=notice_display&id=4602 Approche mixte de modélisation par les réseaux de Petri et SMA [texte imprimé] / Houda Haiouni ; Univ. de Constantine, Éditeur scientifique ; Nadia Zaghib, Directeur de thèse . - 2010 . - 120 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Modélisation Systèmes multi-agents Réseaux de Petri Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/HAI5853.pdf Permalink : index.php?lvl=notice_display&id=4602 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité HAI/5853 HAI/5853 Thèse Bibliothèque principale Thèses Disponible
Titre : Modélisation du processus logiciel à base d'agents par les réseaux de pétri Auteurs : Ramla Seghiri ; Univ. de Constantine, Éditeur scientifique ; Z. Sahnoun, Directeur de thèse Année de publication : 2002 Importance : 104 f. Note générale : 1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centraleCatégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=179 Modélisation du processus logiciel à base d'agents par les réseaux de pétri [] / Ramla Seghiri ; Univ. de Constantine, Éditeur scientifique ; Z. Sahnoun, Directeur de thèse . - 2002 . - 104 f.
1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=179 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité SEG/3663 SEG/3663 Thèse Bibliothèque principale Thèses Disponible Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 / Sabine Boufenara
![]()
Titre : Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 Auteurs : Sabine Boufenara ; Univ. de Constantine, Éditeur scientifique ; Faiza Belala, Directeur de thèse Année de publication : 2010 Importance : 228 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Cadre sémantique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BOU5795.pdf Permalink : index.php?lvl=notice_display&id=324 Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 [] / Sabine Boufenara ; Univ. de Constantine, Éditeur scientifique ; Faiza Belala, Directeur de thèse . - 2010 . - 228 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Cadre sémantique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BOU5795.pdf Permalink : index.php?lvl=notice_display&id=324 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5795 BOU/5795 Thèse Bibliothèque principale Thèses Disponible Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri / Fay?al Boudaoud
Titre : Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri Auteurs : Fay?al Boudaoud ; Univ. de Constantine, Éditeur scientifique ; Mohamed Benmohammed, Directeur de thèse Année de publication : 2002 Importance : 94 f. Note générale : 1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centraleCatégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=180 Validation de contrôleurs décrits dans un environnement de synthèse de haut niveau par les réseaux de pétri [] / Fay?al Boudaoud ; Univ. de Constantine, Éditeur scientifique ; Mohamed Benmohammed, Directeur de thèse . - 2002 . - 94 f.
1 Disponible à la salle de recherche
2 Disponibles au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=180 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/3648 BOU/3648 Thèse Bibliothèque principale Thèses Disponible PermalinkPermalinkPermalink