A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'Petri, Réseaux de' 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes Faire une suggestionLes réseaux de Petri / Annie Choquet-Geniet (2006)
Titre : Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés Type de document : texte imprime Auteurs : Annie Choquet-Geniet Editeur : Paris : Dunod Année de publication : 2006 Collection : (Sciences sup. Informatique) Importance : (XII-242 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-049147-6 Note générale :
DL 2006, cop. 2006
Description :
Licence, master, écoles d'Ingénieurs
Index
Langues : Français Mots-clés : Petri, Réseaux de Petri, Réseaux de:problèmes et exercices Systèmes informatiques:modèles mathématiques Résumé :
L'ouvrage est consacré à la modélisation et à l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre.Note de contenu :
Le modèle de base.
Étude comportementale.
Aspects dynamiques.
Les propriétés exprimables par réseaux de Petri.
Réseaux de Petri et algèbre linéaire.
Analyse par réduction.
Les extensions des réseaux de Petri.
Les réseaux de Petri colorés.
Extension de l'expressivité.
Adjonction d'un schéma opérationnel.
Prise en compte du temps.
Permalink : ./index.php?lvl=notice_display&id=10127 Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés [texte imprime] / Annie Choquet-Geniet . - Paris : Dunod, 2006 . - (XII-242 p.) : ill., couv. ill. en coul. ; 24 cm. - ((Sciences sup. Informatique)) .
ISBN : 978-2-10-049147-6
DL 2006, cop. 2006
Description :
Licence, master, écoles d'Ingénieurs
Index
Langues : Français
Mots-clés : Petri, Réseaux de Petri, Réseaux de:problèmes et exercices Systèmes informatiques:modèles mathématiques Résumé :
L'ouvrage est consacré à la modélisation et à l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre.Note de contenu :
Le modèle de base.
Étude comportementale.
Aspects dynamiques.
Les propriétés exprimables par réseaux de Petri.
Réseaux de Petri et algèbre linéaire.
Analyse par réduction.
Les extensions des réseaux de Petri.
Les réseaux de Petri colorés.
Extension de l'expressivité.
Adjonction d'un schéma opérationnel.
Prise en compte du temps.
Permalink : ./index.php?lvl=notice_display&id=10127 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C238/1 C238 Livre Magasin d'Ouvrages / FGE Commandes Consultation sur place
Exclu du prêtC238/2 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/3 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/4 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/5 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/6 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/7 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/8 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/9 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/10 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible C238/11 C238 Livre Magasin d'Ouvrages / FGE Commandes Disponible RES250/1 RES250 Livre Magasin d'Ouvrages / INF Réseaux Consultation sur place
Exclu du prêtRES250/2 RES250 Livre Magasin d'Ouvrages / INF Réseaux Disponible RES250/3 RES250 Livre Magasin d'Ouvrages / INF Réseaux Disponible RES250/4 RES250 Livre Magasin d'Ouvrages / INF Réseaux Disponible RES250/5 RES250 Livre Magasin d'Ouvrages / INF Réseaux Disponible RES250/6 RES250 Livre Magasin d'Ouvrages / INF Réseaux Disponible RES250/7 RES250 Livre Magasin d'Ouvrages / INF Réseaux Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Comprendre maîtriser et appliquer le Grafcet Blanchard, M. Les automates programmables industriels Bolton, William Amélioration et développement d'une solution de commande et supervision de la station d'ensachage de MIS à base d'un API S7-300 Belkada, Nourdine Installation et mise au point d’une station météorologique automatique de type ENERCO 407 Bouadou, Aghiles Segmentation d'images texturées par approche statistique Amazit (ép. Arab), Dalila Etude comparative des méthodes de segmentation d'images Aiboud, Fazia Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Aspects mathématiques des réseaux de pétri Type de document : texte imprime Auteurs : Christophe Reutenauer Editeur : Paris : Masson Année de publication : 1989, cop. 1988 Collection : Etudes et recherches en informatique Importance : 117 p. Présentation : couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81492-1 Note générale :
Bibliogr. p. [111]-114. IndexLangues : Français Mots-clés : Petri, Réseaux de Petri nets Index. décimale : 519.2 Résumé : Un outil mathématique utilisé en informatique pour le partage des ressources, les protocoles de transmission, la gestion de production, la synchronisation des taches. Cet ouvrage est particulièrement consacré aux problèmes de décidabilité.
Public concerné : Étudiants de 3e cycle, ingénieurs et chercheurs en mathématiques appliquées et en informatique théorique.Permalink : ./index.php?lvl=notice_display&id=12314 Aspects mathématiques des réseaux de pétri [texte imprime] / Christophe Reutenauer . - Paris : Masson, 1989, cop. 1988 . - 117 p. : couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81492-1
Bibliogr. p. [111]-114. Index
Langues : Français
Mots-clés : Petri, Réseaux de Petri nets Index. décimale : 519.2 Résumé : Un outil mathématique utilisé en informatique pour le partage des ressources, les protocoles de transmission, la gestion de production, la synchronisation des taches. Cet ouvrage est particulièrement consacré aux problèmes de décidabilité.
Public concerné : Étudiants de 3e cycle, ingénieurs et chercheurs en mathématiques appliquées et en informatique théorique.Permalink : ./index.php?lvl=notice_display&id=12314 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MTH103/1 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Consultation sur place
Exclu du prêtMTH103/2 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/3 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/4 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/5 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/6 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/7 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Commande optimale des systèmes dynamiques hybrides Marzouguie, Mohsen Les Microcontrôleurs PIC Tavernier, Christian Progressez avec les microcontrôleurs PIC Samblancat, Gérard Graphes et algorithmes Gondran, Michel Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Pratique séquentielle et réseaux de Pétri Type de document : texte imprime Auteurs : Sylvain Thelliez Editeur : Eyrolles Année de publication : 1978, cop. 1978 Collection : Collection E.E.A., ISSN 0297-3065 Importance : (X-141 p.) Présentation : ill., couv. ill. Format : 25 cm Note générale :
Bibliogr. p. [142]Langues : Français Mots-clés : Automatismes séquentiels Petri, Réseaux de Process control Sequential machine theory Automatic control Permalink : ./index.php?lvl=notice_display&id=9702 Pratique séquentielle et réseaux de Pétri [texte imprime] / Sylvain Thelliez . - [S.l.] : Eyrolles, 1978, cop. 1978 . - (X-141 p.) : ill., couv. ill. ; 25 cm. - (Collection E.E.A., ISSN 0297-3065) .
Bibliogr. p. [142]
Langues : Français
Mots-clés : Automatismes séquentiels Petri, Réseaux de Process control Sequential machine theory Automatic control Permalink : ./index.php?lvl=notice_display&id=9702 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C235/1 C235 Livre Magasin d'Ouvrages / FGE Commandes Consultation sur place
Exclu du prêtC235/2 C235 Livre Magasin d'Ouvrages / FGE Commandes Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Etude de l'unité de dessalement de la centrale thermoélectrique de CAP-DJINET en remplaçant l'automate S5 110s par le S7 300 et élaboration d'une plateforme de upervision Regab, Aziz Robotique générale Pruski, Alain Les A.P.I. Michel, Gilles Etude d'une régulation P, PI et PID de débit d'un banc didactique de type 38-001 Toucherift Hocine Les capteurs pour Arduino et Raspberry Pi Karvinen, Tero Commande automatique des systèmes linéaires continus Minzu, Viorel Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Génie Logiciel Conception des systèmes d'information : panorama des méthodes et des techniques Type de document : texte imprime Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : DL 2001, cop. 2001 Collection : Techno sup Importance : 312 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0479-4 Note générale : Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus) : IUP - IUT - BTS
Bibliogr. p. [301]-304. IndexLangues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Logiciels:développement Systèmes d'information MERISE, Méthode Petri, Réseaux de Index. décimale : 00512 00574 Résumé : Niveau B (Bases)
La 4e de couverture indique : Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage.
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML)
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices.
UnNiveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML)
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs expose les méthodes formelles et UML.
Note de contenu :
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
ConclusionEn ligne : https://www.amazon.fr/Conception-syst%C3%A8mes-dinformation-Panorama-techniques/ [...] Permalink : ./index.php?lvl=notice_display&id=14765 Génie Logiciel Conception des systèmes d'information : panorama des méthodes et des techniques [texte imprime] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, DL 2001, cop. 2001 . - 312 p. : ill., couv. ill. ; 26 cm.. - (Techno sup) .
ISBN : 978-2-7298-0479-4
Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus) : IUP - IUT - BTS
Bibliogr. p. [301]-304. Index
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Logiciels:développement Systèmes d'information MERISE, Méthode Petri, Réseaux de Index. décimale : 00512 00574 Résumé : Niveau B (Bases)
La 4e de couverture indique : Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage.
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML)
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices.
UnNiveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML)
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs expose les méthodes formelles et UML.
Note de contenu :
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
ConclusionEn ligne : https://www.amazon.fr/Conception-syst%C3%A8mes-dinformation-Panorama-techniques/ [...] Permalink : ./index.php?lvl=notice_display&id=14765 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD84/1 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD84/2 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/3 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/4 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/5 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/6 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/7 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/8 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/9 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/10 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/11 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/12 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/13 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/14 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/15 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/16 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/17 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Elements of Distributed Algorithms : modeling and analysis with Petri Nets Type de document : texte imprime Auteurs : Wolfgang Reisig, Auteur Editeur : New York : Springer Année de publication : cop. 1998 Importance : 302 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-62752-4 Note générale : En complément de titre : with 246 figures. - Autre tirage : 2010
Bibliogr. p. [299]-302Langues : Anglais Mots-clés : Electronic data processing:distributed processing Traitement réparti:actes de congrès Computer algorithms Petri nets Petri, Réseaux de Algorithmes Index. décimale : 004.36 Résumé : Elements of Distributed Algorithms Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. En ligne : https://www.amazon.fr/Elements-Distributed-Algorithms-Modeling-published/dp/B01J [...] Permalink : ./index.php?lvl=notice_display&id=11797 Elements of Distributed Algorithms : modeling and analysis with Petri Nets [texte imprime] / Wolfgang Reisig, Auteur . - New York : Springer, cop. 1998 . - 302 p. : ill. ; 24 cm.
ISBN : 978-3-540-62752-4
En complément de titre : with 246 figures. - Autre tirage : 2010
Bibliogr. p. [299]-302
Langues : Anglais
Mots-clés : Electronic data processing:distributed processing Traitement réparti:actes de congrès Computer algorithms Petri nets Petri, Réseaux de Algorithmes Index. décimale : 004.36 Résumé : Elements of Distributed Algorithms Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. En ligne : https://www.amazon.fr/Elements-Distributed-Algorithms-Modeling-published/dp/B01J [...] Permalink : ./index.php?lvl=notice_display&id=11797 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA223/1 IA223 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA223/2 IA223 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
Permalink
