- dafs-fsa.dot is a description of the finite-state machine for volume states in the Demand Attach fileserver - dafs-vnode-fsa.dot is a description of the finite-state machine for vnodes in the Demand Attach fileserver. Both diagrams are in Dot (http://www.graphviz.org) format, and can be converted to graphics formats via an an invocation like: dot -Tsvg dafs-fsa.dot > dafs-fsa.svg