Как построить пул потоков на основании сети Петри?

Question

[alex_ak1]

Здравствуйте. Дали задание написать лабораторку по многозадачности.
Четвертая часть в ней - смоделировать пул потоков с помощью сети Петри. Как это делать надо?
Я понял, как работает сеть Петри для критической секции и семафора, но не пойму, что же от меня надо в этой части. Пока надумал такие варианты:
1. производитель-потребитель - несколько цепочек потребляют (медленно обрабатывают), одна быстро производит. Количество потребителей ограничено (N).
2. Семафор, в котором вторая часть сети в каждой цепочке своя. То есть фишка уходит не в узел 2, а в узел 2 + номер_цепочки. Хотя чем это отличается от просто-семафора я не понимаю, но преподаватель сказал, что в пуле потоков у каждого потока своя траектория исполнения.