DNF is a format for representing static and dynamic networks.