Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Livre papier |
| Язык: | Français |
| Опубликовано: |
Paris :
Dunod
DL 2006.
42-Saint-Just-la-Pendue : Impr. Chirat |
| Серии: | Sciences sup. Informatique
|
| Предметы: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01876nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 240575 | ||
| 008 | 060330t20062006xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN09864128X | ||
| 020 | |a 2100491474 (br.) : |c 29 EUR | ||
| 024 | |a 9782100491476 | ||
| 041 | 0 | |a fre | |
| 082 | |a 003.3 |z fre | ||
| 082 | |a 511.35 | ||
| 100 | 1 | |a Choquet-Geniet, Annie, |d 1961-...., |c informaticienne. | |
| 245 | 1 | 0 | |a Les réseaux de Petri : |b un outil de modélisation : cours et exercices corrigés |c Annie Choquet-Geniet,... |
| 260 | |a Paris : |b Dunod, |c DL 2006. | ||
| 260 | |a 42-Saint-Just-la-Pendue : |b Impr. Chirat. | ||
| 300 | |a 1 vol. (XII-242 p.) : |b ill., couv. ill. en coul. ; |c 24 cm. | ||
| 490 | 0 | |a Sciences sup. Informatique | |
| 504 | |a Index | ||
| 505 | 0 | |a Partie 1. Le modèle de base -- Chapitre 1. Principe de modélisation statique. Les réseaux places/transitions -- Chapitre 2. Etude comportementale. Aspects dynamiques -- Chapitre 3. Principales propriétés exprimables par réseaux de Petri -- Chapitre 4. Réseaux de Petri et algèbre linéaire -- Partie 2. Les extensions du modèle de base -- Chapitre 5. Présentation générale des extensions -- Chapitre 6. Les réseaux de Petri colorés -- Chapitre 7. Extension de l'expressivité -- Chapitre 8. Prise en compte d'un schéma opérationnel -- Chapitre 9. Prise en compte du temps | |
| 521 | |a Licence, master, écoles d'Ingénieurs | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a systèmes informatiques |x modèles mathématiques | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 650 | |a Problèmes et exercices | ||
| 997 | |0 240575 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 0/Orléans/ |c 1/Bourges/INSA CVL/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 005.131 CHO |z Orléans, BU Sciences, Technologies, STAPS, 005.131 CHO |z Bourges, INSA CVL, 511.3 CHO |z Bourges, INSA CVL, 511.35 CHO | ||