首页 | 本学科首页   官方微博 | 高级检索  
     

基于Petri网的超媒体形式化模型
作者姓名:张苓
作者单位:武汉大学计算机科学与技术学院
摘    要:针对演播类超媒体提出一处基于Petri网的形式化模型OOPN,它由一个扩展Petri网、若干对象以及Petri网与对象之间的映射表示,具有刻画超媒体主要性质的能力。着重给出了OOPN模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。

关 键 词:超媒体 开花经模型 Petri网 OOPN模型
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号