Let , , and be positive integers. A perfect Mendelsohn design with parameters , , and , denoted by -PMD, is a decomposition of the complete directed multigraph on vertices into -circuits such that for any , , and for any two distinct vertices and there are exactly circuits along which the (directed) distance from to is . In this survey paper, we describe various known constructions, new results, and some further questions on PMDs.