The question is perhaps best answered not in the context of Lie theory but in the related setting of affine Weyl groups, where an irreducible root system in Bourbaki's sense leads to an extended Dynkin diagram and corresponding Coxeter group. Here the isomorphic finite abelian groups $P/Q$ and $P^\vee/Q^\vee$ may be interpreted in Lie theory as fundamental groups of related adjoint compact Lie groups or as centers of their simply connected covers. But this interpretation may not shed much light on the question asked. Probably the earliest detailed reference is the first part of the 1965 IHES paper by Iwahori and Matsumoto, which is usually (though not at the moment) available online through numdam.org: <a href="http://www.ams.org/mathscinet-getitem?mr=0185016">Iwahori-Matsumoto</a>. In particular, they work out the complicated details for each Lie type, though this requires a large amount of notation. Here as elsewhere in the literature (Bourbaki for instance), notation varies a lot but is essential for understanding the situation. Another (harder-to-locate) source, inspired by Iwahori-Matsumoto but using somewhat different notation due to the suggested applications in modular representation theory, is the first part of the conference write-up by D.N. Verma. This was published only in 1975 but reflects some of the talks given at the 1971 Budapest summer school on Lie groups: <a href="http://www.ams.org/mathscinet-getitem?mr=0409673">Verma</a>. One advantage of Verma's exposition is that he gives a thorough account of how the finite abelian group acts on the extended Dynkin diagram, though without examples. In both of these accounts the focus is on an affine Weyl group (a Coxeter group) along with a usually larger extended affine Weyl group. The resulting finite quotient group $\Omega$ is isomorphic to the above fundamental group but has the merit of being an explicit group of affine transformations which preserves the fundamental alcove (or simplex). The closure of this alcove is a fundamental domain for the affine Weyl group, and the vertices are in bijection with the set of simple reflections along with 0, or equivalently with the $\ell+1$ generators of the group (where $\ell$ is the rank of the underlying root system). While $\Omega$ preserves this alcove, it permutes the $\ell+1$ vertices in a way described in both papers cited. This realizes the action of $\Omega$ on the vertices of the extended Dynkin diagram. Here the elements of $\Omega$ are in natural bijection with the *minuscule* fundamental weights (along with 0): such weights correspond to simple roots having coefficient 1 in the expression of the highest root and come up frequently in representation theory. ADDED: Concerning type $D_n$, the summary in Iwahori-Matsumoto (see page 19) naturally varies for $n$ even or odd (where the structure of $\Omega$ differs), but the permutation of vertices in each case is fairly natural even though hard to guess in advance.