操作表达式的Petri网表示(英文)  

O_expressions:A Petri Net Representation

作　　者：袁崇义[1,2] 黄雨[1,2,3] 赵文[1,2,3] 黄舒志[2] 

机构地区：[1]北京大学教育部高可信软件技术重点实验室,北京100871 [2]北京大学信息科学技术学院,北京100871 [3]北京大学软件工程国家工程研究中心,北京100871

出　　处：《计算机科学与探索》2010年第11期961-976,共16页Journal of Frontiers of Computer Science and Technology

基　　金：The National Natural Science Foundation of China under Grant No.60803014;the National Grand Funda-mental Research973Program of China under Grant No.2010CB328103;the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z160;the National Research Foundation for Doctoral Program of Ministry of Education of China under Grant No.200800011017~~

摘　　要：程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net。从回顾C_net的基本定义入手,研究操作表达式的网表示。Programs have appeared as Oexpressions（expressions of operations on physical objects） and program semantics are given by axioms on Oexpressions.To facilitate the understanding of these axioms and serve as a basis to implement Oexpressions,this paper devotes itself to a Petri net representation of Oexpressions.Due to the fact that the concept of Petri net places is essentially different from the concept of program variables,Petri nets are enriched by variable elements.The enriched net is called Cnet（C stands for computing and communication）.To start with,it recalls basic definition of Cnet.

关 键 词：物理对象 操作表达式 PETRI网 语义公理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]