题名: | 同步合成Petri网系统可回复性的保持性 |
其他题名: | reversibility preservation in synchronous synthesis of petri net systems
|
作者: | 蒲飞
; 陆维明
|
关键词: | 同步合成
; 可回复性的保持性
; 并发语言
; 最小可回复路径
; 同步合成操作
; 网系统
; 可回复性的保持性
; 最小可回复路径
; 语言关系
; 行为关系
; 合成系统
; 方法
; 大系统
; 建模
|
刊名: | 系统工程理论与实践
|
发表日期: | 2005
|
卷: | 25, 期:10, 页:83-94 | 收录类别: | wanfang
; cnki
; ei
|
部门归属: | 中国科学院软件研究所,计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院,数学研究所,北京,100080
|
摘要: | 着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性. |
语种: | 中文
|
内容类型: | 期刊论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/12374
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
同步合成Petri网系统可回复性的保持性.pdf(665KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
蒲飞,陆维明. 同步合成Petri网系统可回复性的保持性[J]. 系统工程理论与实践,2005-01-01,25(10):83-94.
|
|
|