Release 6.13.54 of DiSCover

Today, version 6.13.54 of the DiSCover package has been released. This release fixes an issue when replaying an event log on a net that does not contain a transition for some event. Earlier releases will then throw a null pointer exception as the transition corresponding to the event cannot be found.