基于Petri网超媒体模型研究

• 作者: 姜东胜 张苓 许卫平 陈莘萌
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 超媒体 形式化模型 有色Petri网
• 年，卷（期）: 2000,（5）
• 页码范围: 537-540
• 页数: 4页
• 分类号: TP311
• 字数: 5260字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2000.05.026

摘要

在分析当前超媒体形式化模型特点的基础上,本文提出一个全新的模型-CPNH.它基于有色Petri网,具有刻画分布超媒体主要性质的能力.与其他模型相比该模型能够有效解决并发浏览、存取控制和版本问题.而且有力刻画了分布环境下多媒体的动态特性.文中着重给出了CPNH模型的形式化定义并举例说明.