并行程序与状态序列——交叉语义约定的研究
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并行程序模型的语义作数学处理.一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免.所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来.其实偏差的出现与Petri网的基本现象冲突(conflict)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关.本文用Petri网分析误导的情况.
交叉语义约定 Petri网 并行程序 状态程序
袁崇义 余鹏 王生原
北京大学信息科学学院计算机科学技术系(北京)
国内会议
杭州
中文
29-31
2003-09-01（万方平台首次上网日期，不代表论文的发表时间）