操作表达式的Petri网表示*

doi:10.3778/j.issn.1673-9418.2010.11.001

计算机科学与探索 ›› 2010, Vol. 4 ›› Issue (11): 961-976.DOI: 10.3778/j.issn.1673-9418.2010.11.001

操作表达式的Petri网表示*

袁崇义^1,2, 黄雨^1,2,3+, 赵文^1,2,3, 黄舒志²

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

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-11-01 发布日期:2010-11-01
通讯作者: 黄雨

O_expressions: A Petri Net Representation*

YUAN Chongyi^1,2, HUANG Yu^1,2,3+, ZHAO Wen^1,2,3, HUANG Shuzhi²

1. Key Lab of High Confidence Software Technologies of Ministry of Education, Peking University, Beijing 100871, China
2. School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
3. National Engineering Research Center for Software Engineering, Peking University, Beijing 100871, China

Received:1900-01-01 Revised:1900-01-01 Online:2010-11-01 Published:2010-11-01
Contact: HUANG Yu

摘要/Abstract

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

关键词: 物理对象, 操作表达式, Petri网, 语义公理

Abstract: 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.

Key words: physical objects, expressions of operations, Petri net, semantics axiom

中图分类号:

TP311

袁崇义1,2 , 黄雨1,2,3+ , 赵文1,2,3 , 黄舒志2 . 操作表达式的Petri网表示*[J]. 计算机科学与探索, 2010, 4(11): 961-976.

YUAN Chongyi^1,2, HUANG Yu^1,2,3+, ZHAO Wen^1,2,3, HUANG Shuzhi². O_expressions: A Petri Net Representation*[J]. Journal of Frontiers of Computer Science and Technology, 2010, 4(11): 961-976.

[1]	周广瑞, 徐淑琳, 郭乙运, 鲁法明, 岳昊. 标注Petri网的最小代价计划序列估计[J]. 计算机科学与探索, 2021, 15(7): 1350-1358.
[2]	姜家鑫，黄志球，马薇薇. 满足隐私需求的服务组合信息流控制方法研究[J]. 计算机科学与探索, 2018, 12(3): 370-379.
[3]	孙晓玲. 直觉模糊Petri网的双向模糊故障推理算法[J]. 计算机科学与探索, 2017, 11(6): 1006-1013.
[4]	李登辉，焦健，陈昕，宋亚鹏，肖庆. 有色Petri网的Android恶意代码建模方法研究[J]. 计算机科学与探索, 2017, 11(1): 99-105.
[5]	赵芳，方贤文，方欢. Petri网动态切片的最小变化域分析方法[J]. 计算机科学与探索, 2016, 10(4): 516-523.
[6]	代飞，莫启，林雷蕾，朱锐，李彤，谢仲文. 结合Petri网和Pi演算的协同业务过程建模[J]. 计算机科学与探索, 2015, 9(6): 692-706.
[7]	贾垒，刘靖，马燕林，叶新铭. BitTorrent协议中激励机制的设计与分析[J]. 计算机科学与探索, 2014, 8(3): 275-287.
[8]	王晶，胡昊，余萍，吕建，葛季栋. 结合公共视图和对象Petri网的跨组织流程建模[J]. 计算机科学与探索, 2014, 8(1): 18-27.
[9]	王纯子，郭伟，张斌. 求解非线性混合整数规划的算法设计与仿真[J]. 计算机科学与探索, 2013, 7(9): 854-864.
[10]	张茗泰，张广泉，张侃，陈名才，封飞. 描述CPS物理实体的时空Petri网模型[J]. 计算机科学与探索, 2013, 7(4): 377-384.
[11]	何炎祥，沈华. 随机Petri网模型到马尔可夫链的转换规则与实现[J]. 计算机科学与探索, 2013, 7(1): 55-62.
[12]	司冠南，杨巨峰，许静. 网构软件可信性演化评估分层Petri网模型[J]. 计算机科学与探索, 2012, 6(7): 621-630.
[13]	周晓炜, 张文博, 王联华. ROSA：资源敏感的高性能Web容器体系结构[J]. 计算机科学与探索, 2012, 6(1): 32-45.
[14]	高金梁, 张刚, 经小川, 陈星, 张辉 . 采用AADL的软件系统可靠性建模与评估方法[J]. 计算机科学与探索, 2011, 5(10): 942-952.
[15]	祝军1,2 , 曾庆田1+ . 基于变迁指标分解的Petri网性质分析*[J]. 计算机科学与探索, 2010, 4(8): 761-768.

操作表达式的Petri网表示*

O_expressions: A Petri Net Representation*

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics