论文部分内容阅读
本文提出一个基于Petri网的超媒体形式化模型HPN。它采用层次组织,各层由一个扩展Petri网、若干对象以及Petri网与对象之间的映射表示,通过Petri网结构和执行语义说明超媒体的链接机制、浏览和媒体表现,具有刻画超媒体主要性质的能力。文中给出了HPN模型的形式化定义并举例说明其用途