Institutional Repository
| 同步合成Petri网系统可回复性的保持性 | |
| Alternative Title | reversibility preservation in synchronous synthesis of petri net systems |
| 蒲飞; 陆维明 | |
| 2005 | |
| Source | 系统工程理论与实践
 |
| ISSN | 1000-6788 |
| Volume | 25Issue:10Pages:83-94 |
| English Abstract | 着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性. |
| Indexed Type | wanfang ; cnki ; ei |
| Keyword | 同步合成 可回复性的保持性 并发语言 最小可回复路径 同步合成操作 网系统 可回复性的保持性 最小可回复路径 语言关系 行为关系 合成系统 方法 大系统 建模 |
| Department | 中国科学院软件研究所,计算机科学重点实验室,北京,100080;中国科学院数学与系统科学研究院,数学研究所,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12374 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 同步合成Petri网系统可回复性的保持性（665KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment