ТУСУР ФДО - Параллельное программирование. Сеть Петри. Нарисовать Граф

Создать сеть Петри, реализующую следующий функционал: доказательство тождества, согласно которому результат исключающей дизъюнкции логического операнда с его инвертированным значением равен единице.

Оформление не имеет значение необходим только рисунок (граф сети петри в соответствии с заданием) и описание к сети как можно подробнее.