A Petri Net-based Framestore