| 同步合成Petri网系统可回复性的保持性 |
| 其他题名 | reversibility preservation in synchronous synthesis of petri net systems
|
| 蒲飞; 陆维明
|
| 2005
|
| 发表期刊 | 系统工程理论与实践
 |
| ISSN | 1000-6788
|
| 卷号 | 25期号:10页码:83-94 |
| 摘要 | 着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性. |
| 收录类别 | wanfang
; cnki
; ei
|
| 关键词 | 同步合成
可回复性的保持性
并发语言
最小可回复路径
同步合成操作
网系统
可回复性的保持性
最小可回复路径
语言关系
行为关系
合成系统
方法
大系统
建模
|
| 部门归属 | 中国科学院软件研究所,计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院,数学研究所,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12374
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
蒲飞,陆维明. 同步合成Petri网系统可回复性的保持性[J]. 系统工程理论与实践,2005,25(10):83-94.
|
| APA |
蒲飞,&陆维明.(2005).同步合成Petri网系统可回复性的保持性.系统工程理论与实践,25(10),83-94.
|
| MLA |
蒲飞,et al."同步合成Petri网系统可回复性的保持性".系统工程理论与实践 25.10(2005):83-94.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论