الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'réseaux de pétri'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Réseaux de Petri / Marc Bourcerie
Titre : Réseaux de Petri : élaboration pour les systèmes de production : cours et exercices corrigés Type de document : texte imprimé Auteurs : Marc Bourcerie Editeur : Paris : Ellipses Année de publication : 2011 Importance : 208 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-6338-8 Langues : Français (fre) Mots-clés : Réseaux de Petri franchissabilite caracterisation du rdp systeme de production assemblage presentation du rpdc couleurs algebriques pile fiforegulation du flux Index. décimale : 621.38 Résumé : Le réseau de Petri, outil performant de représentation de systèmes complexes à événements discrets, est présenté dans cet ouvrage de façon détaillée et étayée par de nombreux exemples d'applications. Deux niveaux de lecture clairement repérés sont proposés : En premier lieu, pour des lecteurs de niveau DUT ou BTS, les principes essentiels et les démarches nécessaires à l'élaboration de modèles sont décrits précisément et pédagogiquement. En second lieu, pour des lecteurs désireux d'approfondir (niveau master) sont proposées des démonstrations inédites et la construction de modèles plus élaborés. Une large gamme d'exercices et de problèmes, entièrement corrigés, complète la présentation et aide à bien cerner l'outil. Enfin, une série de projets pour lesquels sont proposées des solutions, guide une analyse ascendante des modèles. L'ensemble de la lecture permet d'acquérir une bonne maîtrise des réseaux de Petri et de développer une méthodologie pour l'élaboration de modèles dédiés aux systèmes de production.SOMMAIRE:essentielles-outils math2matiques-p-invariants et flux de marquage-t-invariants et réintialisation d'une boucle construction et caractérisation ascendante de rdp-comptage des p-invariants analyse d'un réseau-modélisations pour les systémes de production-les réseaux de petri-elaboration de modéles Réseaux de Petri : élaboration pour les systèmes de production : cours et exercices corrigés [texte imprimé] / Marc Bourcerie . - Paris : Ellipses, 2011 . - 208 p. : ill. ; 26 cm.
ISBN : 978-2-7298-6338-8
Langues : Français (fre)
Mots-clés : Réseaux de Petri franchissabilite caracterisation du rdp systeme de production assemblage presentation du rpdc couleurs algebriques pile fiforegulation du flux Index. décimale : 621.38 Résumé : Le réseau de Petri, outil performant de représentation de systèmes complexes à événements discrets, est présenté dans cet ouvrage de façon détaillée et étayée par de nombreux exemples d'applications. Deux niveaux de lecture clairement repérés sont proposés : En premier lieu, pour des lecteurs de niveau DUT ou BTS, les principes essentiels et les démarches nécessaires à l'élaboration de modèles sont décrits précisément et pédagogiquement. En second lieu, pour des lecteurs désireux d'approfondir (niveau master) sont proposées des démonstrations inédites et la construction de modèles plus élaborés. Une large gamme d'exercices et de problèmes, entièrement corrigés, complète la présentation et aide à bien cerner l'outil. Enfin, une série de projets pour lesquels sont proposées des solutions, guide une analyse ascendante des modèles. L'ensemble de la lecture permet d'acquérir une bonne maîtrise des réseaux de Petri et de développer une méthodologie pour l'élaboration de modèles dédiés aux systèmes de production.SOMMAIRE:essentielles-outils math2matiques-p-invariants et flux de marquage-t-invariants et réintialisation d'une boucle construction et caractérisation ascendante de rdp-comptage des p-invariants analyse d'un réseau-modélisations pour les systémes de production-les réseaux de petri-elaboration de modéles Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST2316 621.38.74.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt ST2317 621.38/74.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST17227 621.38/74.3 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible Computers, 2. Séquence après séquence / Jean-Jacques Mercier
Titre de série : Computers, 2 Titre : Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones Type de document : texte imprimé Auteurs : Jean-Jacques Mercier (1944-....), Auteur Editeur : Paris : Ellipses Année de publication : DL 2006 Collection : Technosup (Paris), ISSN 1275-3955 num. 2 Importance : 2 vol. (269 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-2619-2 Prix : 32 EUR Note générale : Éditeur : ELLIPSES (15 avril 2006)
Langue : Français
Broché : 269 pages
ISBN-10 : 272982619X
ISBN-13 : 978-2729826192
Poids de l'article : 621 g
Dimensions : 17.5 x 1.8 x 26 cmLangues : Français (fre) Mots-clés : logique séquentielle circuits asynchrones synchrones réseaux de petri grafcet Index. décimale : 537 Résumé : Pour tous les étudiants et élèves-ingénieurs, comme pour tous les professionnels de l'informatique et de l'automatique, cet ouvrage présente les méthodes de synthèse des machines logiques séquentielles utilisées dans les ordinateurs et dans les automates logiques. Il traite des structures asynchrones et synchrones de types Moore et Mealy. La première partie développe une méthodologie générale de synthèse des machines asynchrones, avec application aux différents types de mémoires logique. La deuxième partie expose la mise en œuvre des automates synchrones et une introduction aux langages ASM flowchart et VHDL. La troisième partie est une introduction aux réseaux de Petri et une présentation des concepts mis en œuvre dans le grafcet. Dans chaque partie sont aussi développés de nombreux exercices corrigés. L'ouvrage s'inscrit dans un traité complet sur les computers, avec deux autres ouvrages du même auteur, dans la même collection : en amont : bit après bit, en aval : instruction après instruction.
Biographie de l'auteur
Jean-Jacques Mercier est Professeur des universités à l'Université de Toulouse II. Il a dirigé l'IUT de Toulouse-Blagnac. Il anime l'équipe de recherche ICARE-EA 3050 dans le domaine des réseaux informatiques sans fil.Note de contenu : Bibliogr., 1 p. Webliogr., 1 p. Index Computers, 2. Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones [texte imprimé] / Jean-Jacques Mercier (1944-....), Auteur . - Paris : Ellipses, DL 2006 . - 2 vol. (269 p.) : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955; 2) .
ISBN : 978-2-7298-2619-2 : 32 EUR
Éditeur : ELLIPSES (15 avril 2006)
Langue : Français
Broché : 269 pages
ISBN-10 : 272982619X
ISBN-13 : 978-2729826192
Poids de l'article : 621 g
Dimensions : 17.5 x 1.8 x 26 cm
Langues : Français (fre)
Mots-clés : logique séquentielle circuits asynchrones synchrones réseaux de petri grafcet Index. décimale : 537 Résumé : Pour tous les étudiants et élèves-ingénieurs, comme pour tous les professionnels de l'informatique et de l'automatique, cet ouvrage présente les méthodes de synthèse des machines logiques séquentielles utilisées dans les ordinateurs et dans les automates logiques. Il traite des structures asynchrones et synchrones de types Moore et Mealy. La première partie développe une méthodologie générale de synthèse des machines asynchrones, avec application aux différents types de mémoires logique. La deuxième partie expose la mise en œuvre des automates synchrones et une introduction aux langages ASM flowchart et VHDL. La troisième partie est une introduction aux réseaux de Petri et une présentation des concepts mis en œuvre dans le grafcet. Dans chaque partie sont aussi développés de nombreux exercices corrigés. L'ouvrage s'inscrit dans un traité complet sur les computers, avec deux autres ouvrages du même auteur, dans la même collection : en amont : bit après bit, en aval : instruction après instruction.
Biographie de l'auteur
Jean-Jacques Mercier est Professeur des universités à l'Université de Toulouse II. Il a dirigé l'IUT de Toulouse-Blagnac. Il anime l'équipe de recherche ICARE-EA 3050 dans le domaine des réseaux informatiques sans fil.Note de contenu : Bibliogr., 1 p. Webliogr., 1 p. Index Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST1029 537/205.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST1030 537/205.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST1031 537/205.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Au fil des TIPE / Laurent Decreusefond
Titre : Au fil des TIPE : mathématiques, informatique, physique Type de document : texte imprimé Auteurs : Laurent Decreusefond (1966-....), Auteur ; Alain Maruani, Auteur Editeur : Berlin : Springer France Année de publication : 2004 Collection : Scopos num. 19 Importance : XIII-268 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 2-287-22305-3 Prix : 34,95 EUR Note générale : Éditeur : Springer Editions; 2005e édition (23 novembre 2010)
Langue : Français
Broché : 288 pages
ISBN-10 : 2287223053
ISBN-13 : 978-2287223051
Poids de l'article : 408 g
Dimensions : 15.5 x 23.5 cmLangues : Français (fre) Mots-clés : réseaux de pétri coulisses d'internet pseudo équation de la chaleur tomographie spectroscopie multiplexage résonance magnétique nucléaire Index. décimale : 510 Résumé : Introduits en 1997, les Travaux d'Initiative d' Initiative Personnelle Encadrés (TIPE) concernent chaque année quinze mille élèves des Classes Préparatoires aux Grandes Écoles (CPGE). Cette épreuve scientifique orale valorise l'aptitude à la communication et au dialogue, le sens de l'initiative et l'esprit critique. Cet ouvrage présente neuf dossiers de mathématiques, de physique ou d’informatique proposés au concours. Chaque sujet est accompagné de remarques générales, d’un commentaire, d’une suggestion de plan, de questions qu’un jury aurait pu poser et d’un développement replaçant le thème du dossier dans son contexte scientifique. Les auteurs espèrent ainsi, non seulement aider les étudiants de CPGE dans leur préparation, mais encore faire œuvre utile pour les enseignants qui n’ont pas craint de prendre en main un dispositif pédagogique nouveau. Responsables pédagogiques de l’épreuve pour les mathématiques, l’informatique et la physique, Laurent Decreusefond et Alain Maruani ont contribué de manière significative à la conception et à la mise en œuvre des TIPE.
Responsables pédagogiques de l'épreuve pour les mathématiques, l'informatique et la physique, L. Decreusefond et A. Maruani ont contribué de manière significative à la conception et à la mise en 'uvre des TIPE. Cet ouvrage présente neuf dossiers de mathématiques, de physique ou d'informatique proposés au concours. Chaque sujet est accompagné de remarques générales, d'un commentaire, d'une suggestion de plan, de questions qu'un jury aurait pu poser et d'un développement replaçant le thème du dossier dans son contexte scientifique.Note de contenu : TIPE = Travaux d'initiative personnelle encadrés
Notes bibliogr.Au fil des TIPE : mathématiques, informatique, physique [texte imprimé] / Laurent Decreusefond (1966-....), Auteur ; Alain Maruani, Auteur . - Berlin : Springer France, 2004 . - XIII-268 p. : ill., couv. ill. en coul. ; 24 cm. - (Scopos; 19) .
ISBN : 2-287-22305-3 : 34,95 EUR
Éditeur : Springer Editions; 2005e édition (23 novembre 2010)
Langue : Français
Broché : 288 pages
ISBN-10 : 2287223053
ISBN-13 : 978-2287223051
Poids de l'article : 408 g
Dimensions : 15.5 x 23.5 cm
Langues : Français (fre)
Mots-clés : réseaux de pétri coulisses d'internet pseudo équation de la chaleur tomographie spectroscopie multiplexage résonance magnétique nucléaire Index. décimale : 510 Résumé : Introduits en 1997, les Travaux d'Initiative d' Initiative Personnelle Encadrés (TIPE) concernent chaque année quinze mille élèves des Classes Préparatoires aux Grandes Écoles (CPGE). Cette épreuve scientifique orale valorise l'aptitude à la communication et au dialogue, le sens de l'initiative et l'esprit critique. Cet ouvrage présente neuf dossiers de mathématiques, de physique ou d’informatique proposés au concours. Chaque sujet est accompagné de remarques générales, d’un commentaire, d’une suggestion de plan, de questions qu’un jury aurait pu poser et d’un développement replaçant le thème du dossier dans son contexte scientifique. Les auteurs espèrent ainsi, non seulement aider les étudiants de CPGE dans leur préparation, mais encore faire œuvre utile pour les enseignants qui n’ont pas craint de prendre en main un dispositif pédagogique nouveau. Responsables pédagogiques de l’épreuve pour les mathématiques, l’informatique et la physique, Laurent Decreusefond et Alain Maruani ont contribué de manière significative à la conception et à la mise en œuvre des TIPE.
Responsables pédagogiques de l'épreuve pour les mathématiques, l'informatique et la physique, L. Decreusefond et A. Maruani ont contribué de manière significative à la conception et à la mise en 'uvre des TIPE. Cet ouvrage présente neuf dossiers de mathématiques, de physique ou d'informatique proposés au concours. Chaque sujet est accompagné de remarques générales, d'un commentaire, d'une suggestion de plan, de questions qu'un jury aurait pu poser et d'un développement replaçant le thème du dossier dans son contexte scientifique.Note de contenu : TIPE = Travaux d'initiative personnelle encadrés
Notes bibliogr.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13195 510/67.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt