Discrete, continuous, and hybrid petri nets / René David

Public ISBD Titre : Discrete, continuous, and hybrid petri nets Type de document : texte imprimé Auteurs : René David, Auteur ; Hassane Alla, Auteur Mention d'édition : 2nd. ed. Editeur : Berlin Heidelberg : Springer-Verlag Année de publication : 2010 Importance : 550 p. Présentation : couv. ill. en coul., ill. Format : 25 cm. ISBN/ISSN/EAN : 978-3-642-10668-2 Langues : Anglais (eng) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri Nets, while preserving the consistency of basic concepts throughout the book. The book is a monograph as well as a didactic tool which is easy to understand due to many simple solved examples and detailed figures. In its second completely reworked edition various sections, concepts and recently developed algorithms are added as well as additional examples/exercises. Note de contenu : Contents: 1 Bases of Petri Nets 2 Properties of Petri Nets 3 Non-Autonomous Petri Nets 4 Autonomous Continuous and Hybrid Petri Nets 5 Timed Continuous Petri Nets 6 Timed Hybrid Petri Nets 7 Hybrid Petri Nets with Speeds Depending on the C-Marking. Discrete, continuous, and hybrid petri nets [texte imprimé] / René David, Auteur ; Hassane Alla, Auteur  . -  2nd. ed. . - Berlin Heidelberg : Springer-Verlag, 2010 . - 550 p. : couv. ill. en coul., ill. ; 25 cm. ISBN : 978-3-642-10668-2 Langues : Anglais (eng) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri Nets, while preserving the consistency of basic concepts throughout the book. The book is a monograph as well as a didactic tool which is easy to understand due to many simple solved examples and detailed figures. In its second completely reworked edition various sections, concepts and recently developed algorithms are added as well as additional examples/exercises. Note de contenu : Contents: 1 Bases of Petri Nets 2 Properties of Petri Nets 3 Non-Autonomous Petri Nets 4 Autonomous Continuous and Hybrid Petri Nets 5 Timed Continuous Petri Nets 6 Timed Hybrid Petri Nets 7 Hybrid Petri Nets with Speeds Depending on the C-Marking.

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3850	25-01-14	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt
3851	25-01-14	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt

Du Grafcet aux réseaux de Petri / René David

Public ISBD Titre : Du Grafcet aux réseaux de Petri Type de document : texte imprimé Auteurs : René David, Auteur ; Hassane Alla, Auteur Mention d'édition : 2 ème ed. Editeur : Paris : Hermès Année de publication : 1992 Collection : Collection Traité des Nouvelles Technologies - Série automatique Importance : 500 p. Présentation : couv. ill.,ill. Format : 23,4 cm. ISBN/ISSN/EAN : 978-2-86601-325-7 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations. Du Grafcet aux réseaux de Petri, qui s'adresse en priorité aux enseignants, constitue un support de cours indispensable pour les écoles d'ingénieurs et les universités. Sa conception didactique originale le rend accessible à de nombreux lecteurs. En effet, une centaine d'exercices dont certains très élémentaires sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun de ces exercices. Note de contenu : Table des matiéres: Chapitre1:Réseaux de Petri Chapitre2:Réseaux de Petri non autonomes Chapitre3:Réseaux de Petri continus et hybrides Chapitre4:Réseaux de Petri colorés Chapitre5:Grafcet Exercices Corrigés Du Grafcet aux réseaux de Petri [texte imprimé] / René David, Auteur ; Hassane Alla, Auteur  . -  2 ème ed. . - Paris : Hermès, 1992 . - 500 p. : couv. ill.,ill. ; 23,4 cm.. - (Collection Traité des Nouvelles Technologies - Série automatique) . ISBN : 978-2-86601-325-7 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations. Du Grafcet aux réseaux de Petri, qui s'adresse en priorité aux enseignants, constitue un support de cours indispensable pour les écoles d'ingénieurs et les universités. Sa conception didactique originale le rend accessible à de nombreux lecteurs. En effet, une centaine d'exercices dont certains très élémentaires sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun de ces exercices. Note de contenu : Table des matiéres: Chapitre1:Réseaux de Petri Chapitre2:Réseaux de Petri non autonomes Chapitre3:Réseaux de Petri continus et hybrides Chapitre4:Réseaux de Petri colorés Chapitre5:Grafcet Exercices Corrigés

Exemplaires(3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3673	25-01-13	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt
3674	25-01-13	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt
3675	25-01-13	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt

Du grafcet / René David

Public ISBD Titre : Du grafcet : aux réseaux de Petri Type de document : texte imprimé Auteurs : René David, Auteur ; Hassane Alla, Auteur Mention d'édition : 2 éme. ed. Editeur : Paris : Hermès Année de publication : 1997 Collection : Collection Automatique Importance : 500 p. Présentation : cov.en.coll.ill. Format : 24 cm. ISBN/ISSN/EAN : 9782866013255 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : "Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Crée en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations." Note de contenu : Table des matières Chapitre 1. Réseaux de Petri Chapitre 2. Réseaux de Petri non autonomes Chapitre 3. Réseaux de Petri continus et hybrides Chapitre 4. Réseaux de Petri colorés Chapitre 5. Grafcet Du grafcet : aux réseaux de Petri [texte imprimé] / René David, Auteur ; Hassane Alla, Auteur  . -  2 éme. ed. . - Paris : Hermès, 1997 . - 500 p. : cov.en.coll.ill. ; 24 cm.. - (Collection Automatique) . ISSN : 9782866013255 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : "Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Crée en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations." Note de contenu : Table des matières Chapitre 1. Réseaux de Petri Chapitre 2. Réseaux de Petri non autonomes Chapitre 3. Réseaux de Petri continus et hybrides Chapitre 4. Réseaux de Petri colorés Chapitre 5. Grafcet

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
90638/BU	25-01-84	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Disponible

---

1 (1 - 3 / 3) Par page : 25 50 100 200