Added add.petrinet, freq.traces, dependency.traces; Modified Xl.pairs to fix a bug of deleting a column from combination matrices