INEXA enables interactive exploration of process models at different granularity levels while maintaining a link to the event log.