Rename calculateSeparatingRegion to include "pure" in its name

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
Add a class that represents a set of Petri Net properties

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
SeparationUtility: Let the solver calculate the resulting region

This adds new unknowns and equalities to the equality systems which is solved
for finding separating regions. These new unknowns are the event weights for the
resulting region. Thanks to this, the solver calculates the region directly
instead of just the weights for the regions in the basis.

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
SeparationUtility: Add helper function for k-boundedness

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
SeparationUtility: Implement k-boundedness

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
SynthesizeModule: Allow to specify properties of the synthesized net

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>
PNSynthesis: Implement a plainness property

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>