Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles