|
|||||
|
|
| 程序属性的UniNet描述 | |
| 引用本文： | 周国富,余鹏,袁崇义,屈婉玲.程序属性的UniNet描述[J].系统仿真学报,2003,15(Z1):85-88. |
| 作者姓名： | 周国富 余鹏 袁崇义 屈婉玲 |
| 作者单位： | 1. 北京大学信息科学技术学院,北京,100871;武汉大学计算机学院,武汉,430072 2. 北京大学信息科学技术学院,北京,100871 |
| 基金项目： | 国家自然科学基金(69973003);973项目(G1999032706) |
| 摘 要： | 在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序.为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序. |
| 关 键 词： | Petri网 UNITY UniNet 控制属性 |
| 文章编号： | 1004-731X(2003)S1-0085-04 |
| 修稿时间： | 2003年5月12日 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |