操作表达式的Petri网表示

• 作者: 袁崇义 赵文 黄舒志 黄雨
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 物理对象 操作表达式 Petri网 语义公理
• 年，卷（期）: 2010,（11）
• 页码范围: 961-975
• 分类号: TP311
• 字数: 2253字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2010.11.001

摘要

程序以操作表达式的形式呈现,而其语义则以公理的形式给出.为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示.传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net.从回顾C_net的基本定义入手,研究操作表达式的网表示.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵文	北京大学教育部高可信软件技术重点实验室	26	672	8.0	25.0
10	袁崇义	北京大学教育部高可信软件技术重点实验室	17	173	7.0	12.0
14	黄雨	北京大学教育部高可信软件技术重点实验室	8	20	3.0	4.0
23	黄舒志	北京大学信息科学技术学院	1	3	1.0	1.0