Réseau de Pétri : éléments de base