Параллельное программирование. Сеть Петри. Нарисовать Граф.

Параллельное программирование
Нужно написать две программы на яп c#, простой отчёт (оформление значения не имеет), комментрарии в коде, рисунок (граф сети петри в соответствии с 2 заданием)
Задания:
1) Вывести описание протекающих в программе параллельных процессов, а также протоколы их работы.
2) Создать сеть Петри, реализующую следующий функционал: доказательство тождества, согласно которому результат дизъюнкции логического операнда с его инвертированным значением равен единице.
Сдать нужно до 25.01