![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Résultat de la recherche
2 recherche sur le mot-clé
'Petri, réseaux de' ![Ne pas surligner les mots recherchés Ne pas surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Présentation de la modélisation et de 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...). Explication du modèle des réseaux de Petri, outil graphique d'a[...]![]()
texte imprimé
Jean-Marie Proth, Auteur ; Xiaolan Xie, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-industrie et applications | 1994Un réseau de Petri est un modèle graphique qui permet de spécifier, modéliser et évaluer les performances de systèmes dynamiques, et en particulier de systèmes de fabrication. Les auteurs présentent des définitions et les propriétés utilisées, p[...]