BIBLIOTHEQUE MISM
Détail de l'éditeur
Hermes Sience
localisé à :
Paris
|
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Les Réseaux De Perti / Michel Diaz
Titre : Les Réseaux De Perti : Modèles Fondamentaux Type de document : texte imprimé Auteurs : Michel Diaz, Auteur Editeur : Paris : Hermes Sience Année de publication : 2001 Importance : 386p Format : 25x16 cm ISBN/ISSN/EAN : 978-2-7462-0250-4 Note générale : Sommaire
Partie 1. Les réseaux de Petri places-transitions
Chapitre 1. La sémantique de base - Michel Diaz, LAAS
Chapitre 2. Application des réseaux de Petri aux protocoles de communication - Michel Diaz, LAAS
Chapitre 3. Méthodes d'analyse des réseaux de Petri - Serge Haddad, Université Paris-Dauphine et François Vernadat, LAAS
Chapitre 4. Décidabilité et complexité de problèmes de réseaux de Petri - Serge Haddad, Université Paris-Dauphine
Partie 2. Les réseaux de Petri et la modélisation du temps
Chapitre 5. Les réseaux de Petri temporels - Bernard Berthomieu, Marc Boyer et Michel Diaz, LAAS
Chapitre 6. Composition temporelle et réseaux de Petri à flux autonomes - Michel Diaz, LAAS et Patrick Senac, ENSICA Toulouse
Partie 3. Les abréviations des réseaux de Petri
Chapitre 7. Les réseaux de Petri de haut niveau - Claude Girault, Université Pierre et Marie Curie et Jean-François Pradat-Peyre, CNAM
Chapitre 8. Analyse des réseaux de Petri de haut niveau - Jean-François Pradat-Peyre, CNAM
Partie 4. Les réseaux de Petri à distributions
Chapitre 9. Les réseaux de Petri stochastiques - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Chapitre 10. Les réseaux de Petri stochastiques bien formés - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Chapitre 11. Méthodes tensorielles et réseaux de Petri stochastiques - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Bibliographie - IndexLangues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Le traité Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques. Conçu volontairement dans un esprit d'échange disciplinaire, le traité IC2 est l'état de l'art dans les domaines suivants retenus par le comité scientifique : Réseaux et télécoms, Traitement du signal et de l'image, Informatique et systèmes d'information, Systèmes automatisés, Productique. Chaque ouvrage présente aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix. Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles. Les Réseaux De Perti : Modèles Fondamentaux [texte imprimé] / Michel Diaz, Auteur . - Paris : Hermes Sience, 2001 . - 386p ; 25x16 cm.
ISBN : 978-2-7462-0250-4
Sommaire
Partie 1. Les réseaux de Petri places-transitions
Chapitre 1. La sémantique de base - Michel Diaz, LAAS
Chapitre 2. Application des réseaux de Petri aux protocoles de communication - Michel Diaz, LAAS
Chapitre 3. Méthodes d'analyse des réseaux de Petri - Serge Haddad, Université Paris-Dauphine et François Vernadat, LAAS
Chapitre 4. Décidabilité et complexité de problèmes de réseaux de Petri - Serge Haddad, Université Paris-Dauphine
Partie 2. Les réseaux de Petri et la modélisation du temps
Chapitre 5. Les réseaux de Petri temporels - Bernard Berthomieu, Marc Boyer et Michel Diaz, LAAS
Chapitre 6. Composition temporelle et réseaux de Petri à flux autonomes - Michel Diaz, LAAS et Patrick Senac, ENSICA Toulouse
Partie 3. Les abréviations des réseaux de Petri
Chapitre 7. Les réseaux de Petri de haut niveau - Claude Girault, Université Pierre et Marie Curie et Jean-François Pradat-Peyre, CNAM
Chapitre 8. Analyse des réseaux de Petri de haut niveau - Jean-François Pradat-Peyre, CNAM
Partie 4. Les réseaux de Petri à distributions
Chapitre 9. Les réseaux de Petri stochastiques - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Chapitre 10. Les réseaux de Petri stochastiques bien formés - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Chapitre 11. Méthodes tensorielles et réseaux de Petri stochastiques - Serge Haddad, Université Paris-Dauphine et Patrice Moreaux, Université de Reims
Bibliographie - Index
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique Résumé : Le traité Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques. Conçu volontairement dans un esprit d'échange disciplinaire, le traité IC2 est l'état de l'art dans les domaines suivants retenus par le comité scientifique : Réseaux et télécoms, Traitement du signal et de l'image, Informatique et systèmes d'information, Systèmes automatisés, Productique. Chaque ouvrage présente aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix. Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 08/136184 L/004.1029 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 08/136185 L/004.1029 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/136186 L/004.1029 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/136187 L/004.1029 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 08/136188 L/004.1029 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible