  In this paper, we construct a digraph structure on $p$-adic dynamical systems
defined by rational functions. We study the conditions under which the
functions are measure-preserving, invertible and isometric, ergodic, and
minimal on invariant subsets, by means of graph theoretic properties.
