Параллельное программирование

Необходимо составить 2 программы. в первой реализовать минимум три потока. Можно использовать упрощенный вариант задачи из методички. Во второй нарисовать сеть Петри для проверки работы в любом редакторе.

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

Вывести Параллельную композицию, алфавит, префиксную форму и протокол.

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

Код с комментариями. Описание работы программы для защиты.