CAJ | 학술논문

程序以操作表达式的形式呈现,而其语义则以公理的形式给出.为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示.传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net.从回顾C_net的基本定义入手,研究操作表达式的网表示.
정서이조작표체식적형식정현,이기어의칙이공리적형식급출.위방조리해저사공리병작위실현조작표체식적기출,급출료조작표체식적Petri망표시.전통Petri망적고소(place)개념여정서중변량개념유본질적불동,증가료변량개념적Petri망칭위C_net.종회고C_net적기본정의입수,연구조작표체식적망표시.
Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions. To facilitate the understanding of these axioms and serve as a basis to implement O_expressions, this paper devotes itself to a Petri net representation of O_expressions. 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 C_net (C stands for computing and communication). To start with, it recalls basic definition of C_net.