/KM_tree

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

Primary LanguageC

No issues in this repository yet.