Параллельное программирование. Сеть Петри. C++ или C# .NET

C++ или C# .NET

1) Вывести описание протекающих в программе параллельных процессов, а также протоколы их работы.

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

+ небольшой отчет(комментарии к коду + нарисованная сеть Петри)