Построить сеть Петри для робототехнического комплекса

1.   Построить сеть Петри, состоящую из 8 P позиций и 4 T переходов.

2.   Выполнить формальную запись сети Петри N={P, T, F, H, μ0}.

Функции F(p, t) и H(p, t) задать в матричном виде.

3.   Построить граф достижимости сети Петри.

Требования к отчету и теория с примером в файле.