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

O_expressions:A Petri Net Representation

程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的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.