The module implements the procedure to build the Karp and miller tree for a given Petri Net.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool