Catalogue en ligne Bibliothèque de l'Ecole Nationale Polytechnique

Du grafcet aux réseaux de petri / René David ; Hassan Alla

Public

ISBD

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 : Hermès Science
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és
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é : 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: Grafcet

Du grafcet aux réseaux de petri [texte imprimé] / René David, Auteur ; Hassan Alla, Auteur . - 2 éd. . - Hermès Science, 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és
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é : 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: Grafcet

Exemplaires

Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire
042723 519.711 DAV Papier Bibliothèque Centrale Mathématiques Disponible

Petri Nets

Public

ISBD

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 protocols
En 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 protocols
En 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

Production. Réseaux de petri / Bourcerie, Marc

Public

ISBD

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. 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 de
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é : 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èmes

Production. Réseaux de petri : élaboration pour les systèmes de production : cours et exercices corrigés [texte imprimé] / Bourcerie, Marc, Auteur . - 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 de
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é : 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èmes

Exemplaires

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

Détail de l'indexation

519.711 : Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux

Ouvrages de la bibliothèque en indexation 519.711

Exemplaires

Exemplaires

Exemplaires

Bibliothèque de l'Ecole Nationale Polytechnique

Accueil

Se connecter

Météo

Adresse

Horaires d'ouverture :

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