Résultat de la recherche
1 résultat(s) recherche sur le tag 'logique linéaire'
![](./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é
Michel Diaz | Paris [France] : Lavoisier | Traité IC2 Information-commande-communication (Série : Systèmes automatisés), Dirigée par : Foulard, Claude | 2003Les 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 fonctionneme[...]