Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data