基于Petri网的超媒体形式化模型

基于Petri网的超媒体形式化模型 A PETRI NET BASED FORMAL MODEL OF HYPERMEDIA 张苓 Zhang Ling 1 first-author 武汉大学计算机科学与技术学院 武汉大学计算机科学与技术学院 College of Computer Science and Technology, Wuhan University College of Computer Science and Technology, Wuhan University 针对演播类超媒体提出一个基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ，它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，具有刻画超媒体主要性质的能力．着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述 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. 超媒体 形式化模型 Petri网 hypermedia formal model Petri net TP393 国家“863”项目 1999-01-01 2021-04-01 1