【摘要】 针对演播类超媒体提出一个基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ，它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，具有刻画超媒体主要性质的能力．着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述更多还原

【Abstract】 We present a Petri net based formal model of Hypermedia(OOPN) . It is represented with an augmented Petri net, several sets of objects and the mapping of the Petri net and the objects. It has the ability to describe the main property of hypermedia system. In the paper, we mainly give the formal definition of OOPN and its description of the semantic ,logical and temporal structure of hypermedia system.更多还原