23:33
mecatroniquepro
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.
Posted in: PLC
0 commentaires:
Enregistrer un commentaire