操作表达式的Petri网表示

CORC > 北京大学 > 信息科学技术学院

	操作表达式的Petri网表示; O_expressions: A Petri Net Representation
	袁崇义 ; 黄雨 ; 赵文 ; 黄舒志
刊名	计算机科学与探索
	2010
关键词	物理对象操作表达式 Petri网语义公理 physical objects expressions of operations Petri net semantics axiom
DOI	10.3778/j.issn.1673-9418.2010.11.001
英文摘要	程序以操作表达式的形式呈现,而其语义则以公理的形式给出.为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示.传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net.从回顾C_net的基本定义入手,研究操作表达式的网表示.; 国家自然科学基金; 国家重点基础研究发展规划(973); 国家高技术研究发展计划(863); 国家教育部博士; 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 11; 961-975; 04
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/265398]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	袁崇义,黄雨,赵文,等. 操作表达式的Petri网表示, O_expressions: A Petri Net Representation[J]. 计算机科学与探索,2010.
APA	袁崇义,黄雨,赵文,&黄舒志.(2010).操作表达式的Petri网表示.计算机科学与探索.
MLA	袁崇义,et al."操作表达式的Petri网表示".计算机科学与探索 (2010).