From the graph about the problem of the five philosophers create a complete set of symmetries, justify that the set is complete and correct.

Petri nets for five philosophers is done and attachment here.

I have example how it should looks for other petri net.