Representation requirements for perfect first-in-first-out verification in continuous flow dynamic models