Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System