论文部分内容阅读
超媒体建模研究是当前一个重要研究方向,基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,通够更好地刻画超媒体手段。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种媒体,并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个模型的基于Petri网的超媒体模型:MHPN、HC