Détail de l'indexation
Ouvrages de la bibliothèque en indexation 519.711 (3)



Titre : Du grafcet aux réseaux de petri Type de document : texte imprimé Auteurs : René David, Auteur ; Hassan Alla, Auteur Mention d'édition : 2 éd. Editeur : Paris : Hermes Science Publications Année de publication : 1992 Collection : Traité des nouvelles technologies Sous-collection : Série Automatique Importance : 500 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-86601-325-7 Note générale : Bibliogr.-Index Langues : Français (fre) Mots-clés : GRAFCET
Petri, Réseaux de
Graphes, Théorie des
Automatismes séquentiels
Systèmes échantillonnésIndex. 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é : Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est devenu une norme internationale en 1987. Note de contenu : Sommaire:
*Chap.1: Réseaux de petri
*Chap.2: Réseaux de petri non autonomes
*Chap.3: Réseaux de petri continus et hybrides
*Chap.4: Réseaux de petri colorés
*Chap.5: GrafcetDu grafcet aux réseaux de petri [texte imprimé] / René David, Auteur ; Hassan Alla, Auteur . - 2 éd. . - Paris : Hermes Science Publications, 1992 . - 500 p. : ill. ; 24 cm.. - (Traité des nouvelles technologies. Série Automatique) .
ISBN : 978-2-86601-325-7
Bibliogr.-Index
Langues : Français (fre)
Mots-clés : GRAFCET
Petri, Réseaux de
Graphes, Théorie des
Automatismes séquentiels
Systèmes échantillonnésIndex. 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é : Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est devenu une norme internationale en 1987. Note de contenu : Sommaire:
*Chap.1: Réseaux de petri
*Chap.2: Réseaux de petri non autonomes
*Chap.3: Réseaux de petri continus et hybrides
*Chap.4: Réseaux de petri colorés
*Chap.5: GrafcetRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 042723 519.711 DAV Papier Bibliothèque Centrale Mathématiques Disponible
Titre : Petri nets : fundamental models, verification and applications Type de document : texte imprimé Auteurs : Michel (1945-....) Diaz, Éditeur scientifique Editeur : London : ISTE éditions Année de publication : 2008 Autre Editeur : New York : John Wiley & Sons Importance : 585 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-1-84821-079-0 Note générale : Index Langues : Anglais (eng) Mots-clés : Electronic data processing -- Distributed processing
Parallel processing (Electronic computers)
System design
Petri nets
Petri, Réseaux de
Réseaux d'ordinateurs
Traitement répartiIndex. 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 : Summary :
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é] / Michel (1945-....) Diaz, Éditeur scientifique . - London : ISTE éditions : New York : John Wiley & Sons, 2008 . - 585 p. : ill. ; 25 cm.
ISBN : 978-1-84821-079-0
Index
Langues : Anglais (eng)
Mots-clés : Electronic data processing -- Distributed processing
Parallel processing (Electronic computers)
System design
Petri nets
Petri, Réseaux de
Réseaux d'ordinateurs
Traitement répartiIndex. 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 : Summary :
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& [...] Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 052169 519.711 PET Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place
Titre de série : Production Titre : Réseaux de petri : élaboration pour les systèmes de production : cours et exercices corrigés Type de document : texte imprimé Auteurs : Bourcerie, Marc, Auteur Editeur : Paris : Ellipses Année de publication : 2011 Collection : Technosup Importance : 208 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-6338-8 Note générale : IUP - Licence
Bibliogr., 2 p. IndexLangues : Français (fre) Mots-clés : Petri, Réseaux de -- Manuels d'enseignement supérieur
Petri, Réseaux de -- Problèmes et exercices
Systèmes de production -- Manuels d'enseignement supérieur
Systèmes de production -- Simulation, Méthodes deIndex. 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é : Le réseau de Pétri, 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.Note de contenu : Au sommaire :
1. Notions essentielles.
2. Modélisations pour les systèmes de production.
3. Les réseaux de Pétri colorés.
4. Élaboration de modèles.
5. Exercices et Problèmes.
6. Corrigés des Exercices et ProblèmesProduction. Réseaux de petri : élaboration pour les systèmes de production : cours et exercices corrigés [texte imprimé] / Bourcerie, Marc, Auteur . - Paris : Ellipses, 2011 . - 208 p. : ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-6338-8
IUP - Licence
Bibliogr., 2 p. Index
Langues : Français (fre)
Mots-clés : Petri, Réseaux de -- Manuels d'enseignement supérieur
Petri, Réseaux de -- Problèmes et exercices
Systèmes de production -- Manuels d'enseignement supérieur
Systèmes de production -- Simulation, Méthodes deIndex. 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é : Le réseau de Pétri, 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.Note de contenu : Au sommaire :
1. Notions essentielles.
2. Modélisations pour les systèmes de production.
3. Les réseaux de Pétri colorés.
4. Élaboration de modèles.
5. Exercices et Problèmes.
6. Corrigés des Exercices et ProblèmesRéservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 053125 519.711 BOU Papier Bibliothèque Centrale Mathématiques Disponible En bon état 053124 519.711 BOU Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place 053508 519.711 BOU Papier Bibliothèque Centrale Mathématiques Disponible En bon état 053509 519.711 BOU Papier Bibliothèque Centrale Mathématiques Disponible En bon état 053510 519.711 BOU Papier Bibliothèque Centrale Mathématiques Disponible En bon état