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

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

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

Вариант №22 в приложении (1 задание - стр.83).

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

Требования преподавателя:

1. Сеть Петри должна быть классическая (без внедрения новых типов переходов и позиций)
2. Сеть должна решать задачу за 1 запуск без изменений маркировки вручную.
3. Запуск переходов не должен подстраиваться под входные данные.