Compute the number of fired transitions + export this result to a JSON file.