同步合成Petri网系统可回复性的保持性
文献类型：期刊论文
| 作者 | 蒲飞 ; 陆维明 |
| 刊名 | 系统工程理论与实践
 |
| 出版日期 | 2005 |
| 卷号 | 25期号:10页码:83-94 |
| 关键词 | 同步合成 可回复性的保持性 并发语言 最小可回复路径 同步合成操作 网系统 可回复性的保持性 最小可回复路径 语言关系 行为关系 合成系统 方法 大系统 建模 |
| ISSN号 | 1000-6788 |
| 其他题名 | reversibility preservation in synchronous synthesis of petri net systems |
| 中文摘要 | 着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性. |
| 收录类别 | wanfang ; cnki ; ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-28 |
| 附注 | Petri net systems synthesis can construct large systems without the requirement of reachability analysis. In a synthesis process, certain good properties of local systems such as reversibility, liveness, deadlock-freeness and so forth must be preserved fo |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。