Télécharger le livre :  Vérification et mise en oeuvre des réseaux de Pétri

Les réseaux de Petri portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles. Cette étude avait permis de définir les RdP temporels ainsi qu'une nouvelle approche sémantique pour analyser les fonctionnements généraux et les RdP...
Editeur : Hermés science
Parution : 2003-01-08
Collection : Traité IC2
Format(s) : PDF sans DRM
121,33