which places p1 and p2 are merged into a single place. Such a model will have a fitness of because none of the traces can be replayed.
This fitness notion seems to be too strict as most of the model seems to be consistent with the event log.
This is especially the case for larger process models. Consider, for example, a trace