Reactive systems, (semi-)saturated semantics and coalgebras on presheaves