The module implements the procedure to build the Karp and miller tree for a given Petri Net.