Обобщаю информацию по графу:
Граф будет содержать 7 узлов( вершин), соответствующих устойчивым состояниям 
устройства:
1." Начало" - узел, соответствующий состоянию, которое устанавливатся сразу после включения питания
устройства. При переходе от этого узла к следующему "Ожидание", происходит инициализация микроконт-
роллера: задаются исходные значения, настраиваются периферийные устройства.

2. "Ожидание" - узел, соответствующий состоянию м/к после инициализации. В этом состоянии м/к ожидает
появление команды на одном из входов RB4-RB7(нажатие кнопки).

3. "Работа 1" - узел, соответствующий состоянию м/к после нажатия кнопки №1 и действует до ее отпускания.
Характеризуется свечением с/д №1.

4. "Работа 2" - узел, соответствующий состоянию м/к после нажатия кнопки №2 и действует до ее отпускания.
Характеризуется свечением с/д №1,№2.

5. "Работа 3" - узел, соответствующий состоянию м/к после нажатия кнопки №3 и действует до ее отпускания.
Характеризуется свечением с/д №1,№2,№3.

6. "Работа 4" - узел, соответствующий состоянию м/к после нажатия кнопки №4 и действует до ее отпускания.
Характеризуется свечением с/д №1,№2,№3,№4.

7. "Запрет" - узел, соответствующий состоянию м/к после нажатия двух и более кнопок одновременно и действует
до того времени, пока "лишние" кнопки не будут отпущены.
Характеризуется отсутствием свечения светодиодов. .