saturation feature (beta)
Half implementation of modularizer
Modularizer works for the philosopher's example.
Works for kanban and philosopher's.
Fixed bug in PNML2PetriNet
added models