程序属性的UniNet描述

摘要：

在传统建模方法中,程序操作和程序自我控制相脱离,使得程序的计算与并行特性不能形成完整的一致性的描述,因此形成的规范都只是从某一个角度来刻画了程序.为克服这些不足,本文在揭示程序状态与操作,操作与控制共存的事实的基础上,采用UniNet独特的描述方法来完整而全面地刻画程序.

关键词： Petri网 控制属性 程序属性 建模工具

作者: 周国富 余鹏 袁崇义 屈婉玲

作者单位: 北京大学信息科学技术学院(北京);武汉大学计算机学院(武汉) 北京大学信息科学技术学院(北京)

会议类型: 国内会议

会议名称: 第九届全国Petri网学术年会

会议地点: 杭州

会议语种:中文

页码: 85-88

在线出版日期: 2003-09-01（万方平台首次上网日期，不代表论文的发表时间）