Comporte quatre parties : les réseaux de Petri places-transitions, les réseaux de Petri et la modélisation du temps, les abréviations des réseaux de Petri, les réseaux de Petri à distributions.