Réseaux de Petri

Ce cours présente tout d'abord le modèle de base (les réseaux de Petri Places - Transitions) à la fois en termes de pouvoir d'expression (parallélisme, synchronisation, choix, exclusion mutuelle, ...) et des différentes techniques d'analyse (énumération des marquages, structurelle). Des exemples d'applications aux systèmes de production sont traités. Ensuite des abréviations du modèle de base (réseaux colorés, réseaux prédicats-transitions et réseaux à objets) et des extensions temporelles de ce modèle de base (durées déterministes) sont présentées; les techniques d'analyse reposant sur le graphe des classes sont aussi introduites.