Distributed File Systems -- Towards Parametric Verification of Prioritized Time Petri