基于Petri网超媒体模型研究  

RESEARCH ON HYPERMEDIA MODEL BASED ON PETRI NET

作　　者：张苓[1] 陈莘萌[1] 许卫平[1] 姜东胜[1] 

机构地区：[1]武汉大学计算机科学系武汉大学数学与计算机科学学院,武汉430072

出　　处：《小型微型计算机系统》2000年第5期537-540,共4页Journal of Chinese Computer Systems

摘　　要：在分析当前超媒体形式化模型特点的基础上 ,本文提出一个全新的模型 - CPNH.它基于有色 Petri网 ,具有刻画分布超媒体主要性质的能力 .与其他模型相比该模型能够有效解决并发浏览、存取控制和版本问题 .而且有力刻画了分布环境下多媒体的动态特性 .文中着重给出了By analyzing the feature of current formal models of hypermedia, this paper present a new mode CPNH (Colored Petri Net of Hypermedia). It is based on colored Petri net and has the ability to describe the main properties of distributed hypermedia systems. Through this proposed model, issues of access control, tailored version, description of concurrent activities can be implemented. Moreover, it can describe effectively the dynamic synchronization of multimedia in distributed environment. We mainly give the formal definition of the model and an illustration.

关 键 词：超媒体 形式化模型 PETRI网 多媒体 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]