Я немного «пытался» продать биграфы в качестве модельного инструмента. Биграф определяется как:
Гиперграф, называемый link graph. У него есть вершины процессов и, как гиперссылки, связь между ними. В гиперграфе ребро может проходить между любым количеством процессов, а не только двумя. В действительности график отображает каналы связи или маршруты связи в программе. «Кто с кем разговаривает». Пример: 
Дерево с теми же вершинами, которое называется location graph. Это формирует иерархию супервизора, в которой находятся процессы. Другими словами, он отображает ответственность каждого процесса. Чем дальше вниз по дереву, тем более изменчиво оно. Процесс рядом с корнем, как правило, выполняется с состоянием и должен быть защищен. Пример: 
Я надеюсь, что это даст вам возможность визуализировать и обрабатывать программы Erlang. Если что-то неясно, не стесняйтесь подталкивать меня.