Product systems of Hilbert modules and their applications in quantum dynamics