Describir: A Hierarchical Petri Net Model for SMIL Documents