Viewing all changes in revision 174.

Committer: Mads Johannsen
Date: 2017-05-04 16:41:38 UTC
Revision ID: mjohan12@student.aau.dk-20170504164138-ue9i0lw91lifjgpy

Added structural reduction statistics (number of place and transitions, and reduction time)

added added

removed removed