操作表达式的Petri网表示; O_expressions: A Petri Net Representation | |
袁崇义 ; 黄雨 ; 赵文 ; 黄舒志 | |
刊名 | 计算机科学与探索
![]() |
2010 | |
关键词 | 物理对象 操作表达式 Petri网 语义公理 physical objects expressions of operations Petri net semantics axiom |
DOI | 10.3778/j.issn.1673-9418.2010.11.001 |
英文摘要 | 程序以操作表达式的形式呈现,而其语义则以公理的形式给出.为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示.传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net.从回顾C_net的基本定义入手,研究操作表达式的网表示.; 国家自然科学基金; 国家重点基础研究发展规划(973); 国家高技术研究发展计划(863); 国家教育部博士; 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 11; 961-975; 04 |
语种 | 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/265398] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 袁崇义,黄雨,赵文,等. 操作表达式的Petri网表示, O_expressions: A Petri Net Representation[J]. 计算机科学与探索,2010. |
APA | 袁崇义,黄雨,赵文,&黄舒志.(2010).操作表达式的Petri网表示.计算机科学与探索. |
MLA | 袁崇义,et al."操作表达式的Petri网表示".计算机科学与探索 (2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论