| 基于Petri网的超媒体模型HPN |
| |
| 引用本文： | 张苓.基于Petri网的超媒体模型HPN[J].计算机应用,1999,19(8):1-4. |
| |
| 作者姓名： | 张苓 |
| |
| 作者单位： | 武汉大学计算机科学与技术学院,湖北,武汉,430072 |
| |
| 基金项目： | 国家863高科技项目基金 |
| |
| 摘 要： | 本文提出了一个基于Ｐｅｔｒｉ网的超媒体形式化模型ＨＰＮ。它采用层次组织，各层由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，通过Ｐｅｔｒｉ网结构和执行语义说明超媒体的连接机制、浏览和媒体表现，具有刻画超媒体主要性质的能力。文中给出了ＨＰＮ模型的模式化定义并举说明其用途。
|
| 关 键 词： | 超媒体 形式化模型 Petri网 令牌 |
| 修稿时间： | :1999-05-07(修改稿) |
A PETRI NET FORMAL MODEL OF HYPERMEDIA(HPN) |
| |
| Zhang Ling.A PETRI NET FORMAL MODEL OF HYPERMEDIA(HPN)[J].journal of Computer Applications,1999,19(8):1-4. |
| |
| Authors: | Zhang Ling |
| |
| Abstract: | This paper presents HPN, a Petri-net formal model of hypermedia. It has three layers, each is represented with an augmented Petri net , several sets of objects and the mapping of the Petri net and the objects. HPN use the structure of Petri net and execution semantics to specify the linking, browsing and rendering of hypermedia. It has the ability to describe the main properties of hypermedia systems. We mainly give the formal definition of the model and an illustration. |
| |
| Keywords: | Hypermedia Formal model Petri net Token |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
