基于Petri网的超媒体形式化模型 |
| |
引用本文: | 张苓.基于Petri网的超媒体形式化模型[J].武汉大学学报(自然科学版),1999,45(1):45-48. |
| |
作者姓名: | 张苓 |
| |
作者单位: | 武汉大学计算机科学与技术学院 |
| |
摘 要: | 针对演播类超媒体提出一处基于Petri网的形式化模型OOPN,它由一个扩展Petri网、若干对象以及Petri网与对象之间的映射表示,具有刻画超媒体主要性质的能力。着重给出了OOPN模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。
|
关 键 词: | 超媒体 开花经模型 Petri网 OOPN模型 |
本文献已被 维普 等数据库收录! |
|