Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Diaz, Michel
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la recherchePetri Nets
Titre : Petri Nets : fundamental models, verification and applications Type de document : texte imprimé Auteurs : Diaz, Michel, Editeur scientifique Editeur : London : ISTE éditions Année de publication : 2008 Autre Editeur : New York : Wiley Importance : 585 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-1-84821-079-0 Note générale : Index p.581-585 Langues : Anglais (eng) Mots-clés : Petri Nets -- Fundamental Models '' Petri Nets -- Application Index. décimale : 519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux Résumé : A Petri net is a mathematical representation of a network. This book first introduces the basic models, including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantical basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programmation languages, multimedia architectures, manufacturing systems, and communication protocols. Note de contenu : Part 1: Petri Nets -- Fundamental Models
1. Basic semantics
2. Application to communication protocols
3. Analysis methods
4. Decidability and complexity
5. Time Petri nets
6. Temporal composition and time stream Petri nets
7. High level Petri nets
8. Analysis of high level Petri nets
9. Stochastic Petri nets
10. Well-formed stochastic Petri nets
11. Tensor methods and stochastic Petri nets
Part 2: Verification and Application of Petri Nets
12. Verification of specific properties
13. Covering step graphs: a partial order approach
14. Petri net unfoldings for verifying temporal properties
15. Symmetry and temporal logic
16. Hierarchical time stream Petri nets
17. Petri nets and linear logic
18. Modeling and validating the interoperability of telecommunication services
19. Application of high level Petri nets for the automatic verification of Ada95 concurrent programs
20. Modeling multimedia architectures in visioconferencing with guaranteed Quality of Service
21. Performance evaluation in manufacturing systems
22. Performance evaluation of communication protocolsEn ligne : http://books.google.com/books?id=6YRmLxXp5uQC&pg=PA74&lpg=PA74&dq=9781848210790& [...] Petri Nets : fundamental models, verification and applications [texte imprimé] / Diaz, Michel, Editeur scientifique . - London : ISTE éditions : New York : Wiley, 2008 . - 585 p. : ill. ; 25 cm.
ISBN : 978-1-84821-079-0
Index p.581-585
Langues : Anglais (eng)
Mots-clés : Petri Nets -- Fundamental Models '' Petri Nets -- Application Index. décimale : 519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux Résumé : A Petri net is a mathematical representation of a network. This book first introduces the basic models, including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantical basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programmation languages, multimedia architectures, manufacturing systems, and communication protocols. Note de contenu : Part 1: Petri Nets -- Fundamental Models
1. Basic semantics
2. Application to communication protocols
3. Analysis methods
4. Decidability and complexity
5. Time Petri nets
6. Temporal composition and time stream Petri nets
7. High level Petri nets
8. Analysis of high level Petri nets
9. Stochastic Petri nets
10. Well-formed stochastic Petri nets
11. Tensor methods and stochastic Petri nets
Part 2: Verification and Application of Petri Nets
12. Verification of specific properties
13. Covering step graphs: a partial order approach
14. Petri net unfoldings for verifying temporal properties
15. Symmetry and temporal logic
16. Hierarchical time stream Petri nets
17. Petri nets and linear logic
18. Modeling and validating the interoperability of telecommunication services
19. Application of high level Petri nets for the automatic verification of Ada95 concurrent programs
20. Modeling multimedia architectures in visioconferencing with guaranteed Quality of Service
21. Performance evaluation in manufacturing systems
22. Performance evaluation of communication protocolsEn ligne : http://books.google.com/books?id=6YRmLxXp5uQC&pg=PA74&lpg=PA74&dq=9781848210790& [...] Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 052169 519.711 PET Papier Bibliothèque Centrale Mathématiques Disponible
Titre : Les réseaux hybrides satellites et terrestres Type de document : texte imprimé Auteurs : Pascal Berthou, Auteur ; Cédric Baudoin, Auteur ; Thierry Gayraud, Auteur ; Mathieu Gineste, Auteur ; Diaz, Michel, Directeur de publication, rédacteur en chef Editeur : London : ISTE éditions Année de publication : 2015 Collection : Réseaux et télécommunications Importance : 258 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-7840-5084-9 Note générale : Bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Satellites artificiels dans les télécommunications
Systèmes de télécommunicationsIndex. décimale : 621.39 Télécommunications. Télégraphie. Téléphonie. Radiocommunication. Technologie et équipement vidéo. Télécontrôle. Résumé :
Cet ouvrage présente différentes approches permettant une intégration réussie des systèmes de communication par satellite dans les réseaux terrestres de prochaine génération. Les solutions proposées ont été développées et testées au cours de plusieurs projets de recherche européens et nationaux. Ces challenges techniques sont notamment illustrés par l’utilisation en exemple de systèmes de la famille DVB-S/RCS.
S’appuyant sur l’étude des composants systèmes et leurs interactions, Les réseaux hybrides satellites et terrestres analyse la complexité des réseaux de télécommunication terrestres et satellites par une approche haut niveau. Plusieurs scénarios proposent différentes voies pour réaliser cette intégration avec succès. Les principes de gestion de la qualité de service dans les réseaux terrestres et satellites ainsi que les solutions pour les faire interopérer sont décrits. La gestion de la mobilité inter-systèmes et les problèmes de performance sont également détaillés.Note de contenu : Au sommaire :
1. Les réseaux hybrides satellites et terrestres
2. La qualité de service dans les réseaux terrestres de nouvelle génération
3. La qualité de service dans les réseaux par satellite DVBS/RCS
4. Intégration du satellite dans une architecture de QoS IMS
5. La mobilité intersystèmes
6. La couche transport dans les réseaux hybridesLes réseaux hybrides satellites et terrestres [texte imprimé] / Pascal Berthou, Auteur ; Cédric Baudoin, Auteur ; Thierry Gayraud, Auteur ; Mathieu Gineste, Auteur ; Diaz, Michel, Directeur de publication, rédacteur en chef . - ISTE éditions, 2015 . - 258 p. : ill. ; 24 cm. - (Réseaux et télécommunications) .
ISBN : 978-1-7840-5084-9
Bibliogr. en fin de chapitres. - Index
Langues : Français (fre)
Mots-clés : Satellites artificiels dans les télécommunications
Systèmes de télécommunicationsIndex. décimale : 621.39 Télécommunications. Télégraphie. Téléphonie. Radiocommunication. Technologie et équipement vidéo. Télécontrôle. Résumé :
Cet ouvrage présente différentes approches permettant une intégration réussie des systèmes de communication par satellite dans les réseaux terrestres de prochaine génération. Les solutions proposées ont été développées et testées au cours de plusieurs projets de recherche européens et nationaux. Ces challenges techniques sont notamment illustrés par l’utilisation en exemple de systèmes de la famille DVB-S/RCS.
S’appuyant sur l’étude des composants systèmes et leurs interactions, Les réseaux hybrides satellites et terrestres analyse la complexité des réseaux de télécommunication terrestres et satellites par une approche haut niveau. Plusieurs scénarios proposent différentes voies pour réaliser cette intégration avec succès. Les principes de gestion de la qualité de service dans les réseaux terrestres et satellites ainsi que les solutions pour les faire interopérer sont décrits. La gestion de la mobilité inter-systèmes et les problèmes de performance sont également détaillés.Note de contenu : Au sommaire :
1. Les réseaux hybrides satellites et terrestres
2. La qualité de service dans les réseaux terrestres de nouvelle génération
3. La qualité de service dans les réseaux par satellite DVBS/RCS
4. Intégration du satellite dans une architecture de QoS IMS
5. La mobilité intersystèmes
6. La couche transport dans les réseaux hybridesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 057421 621.39 RES Papier Bibliothèque Centrale Electronique Disponible Consultation sur place
