Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Livre papier |
| Teanga: | Français |
| Foilsithe / Cruthaithe: |
Paris :
Dunod
DL 2006.
42-Saint-Just-la-Pendue : Impr. Chirat |
| Sraith: | Sciences sup. Informatique
|
| Ábhair: | |
| Autres localisations: | Voir dans le Sudoc |
Clár na nÁbhar:
- 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