Release 6.13.74 of DiSCover
Today, version 6.13.74 of the DiSCover package has been released. This release has replaced the option to reduce restricted simple silent transitions with an option to reduce clustered simple silent transitions, and adds the “DiSCover Petri net (Auto)” plug-in. The benefit of the clustered reduce option is that after the reduction it is still the Read More …