Create dtmc.pm