并行程序和状态序列——交叉语义约定的研究.pdfVIP

Vol15增刊 系统仿真学报 堡：!!! !竺坠些些墼!兰!三型!!坠旦兰竺!些 ：：!： 并行程序与状态序列 ——交叉语义约定的研究 袁崇义，余鹏，王生原 f北京_．k学信息科学学院计算机科学技术系．北京10087l】 摘要：许多程序模型是以数学或逻辑为基础设计并分析的，但程序模型的实现首先是个物理系 统，它依物理规律，而非数学或逻辑规则活动。但人们习惯于用状态序列对并列程序模型的语义 作数学处理。一旦偏序的状态空间用交叉的方法全序化，并用于论证程序性质，误导就在所难免。 所谓误导，指的是与实际远行的偏差，借助于Petri网，可以将它们暴露出来。其实偏差的出现与 P啪j网分析误导的情况。 关键词：交叉语义约定；Petri网；冲变；冲撞；并发：混惑