PAGanim uses aiSee for animation of graph sequences. PAGanim is included in the PAG distribution package.