max-cosme / ecofolder Goto Github PK
View Code? Open in Web Editor NEWThis project forked from giannkas/ecofolder
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
License: GNU General Public License v3.0