Institute of Computing Technology, Chinese Academy IR
无界Petri网的进程表达式 | |
曾庆田1; 吴哲辉2 | |
2003 | |
发表期刊 | 计算机学报 |
ISSN | 0254-4164 |
卷号 | 26.0期号:012页码:1629 |
摘要 | 借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p,的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p,的语言问题.由于∑p,的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p,分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p,语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法. |
关键词 | 无界Petri网 进程表达式 进程行为 模型化 |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://119.78.100.204/handle/2XEOYT63/36662 |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 1.中国科学院计算技术研究所 2.山东科学大学计算机科学与技术系 |
第一作者单位 | 中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 曾庆田,吴哲辉. 无界Petri网的进程表达式[J]. 计算机学报,2003,26.0(012):1629. |
APA | 曾庆田,&吴哲辉.(2003).无界Petri网的进程表达式.计算机学报,26.0(012),1629. |
MLA | 曾庆田,et al."无界Petri网的进程表达式".计算机学报 26.0.012(2003):1629. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[曾庆田]的文章 |
[吴哲辉]的文章 |
百度学术 |
百度学术中相似的文章 |
[曾庆田]的文章 |
[吴哲辉]的文章 |
必应学术 |
必应学术中相似的文章 |
[曾庆田]的文章 |
[吴哲辉]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论