publicações Raisonnement Temporel Basé sur les Réseaux de Petri pour des Systèmes Manipulant des Ressources Documento