Petri网共享T型子网合成结构性质分析及其应用
文献类型：期刊论文
| 作者 | 夏传良 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2007 |
| 卷号 | 034期号:003页码:240 |
| ISSN号 | 1002-137X |
| 英文摘要 | 为了解决系统设计中的子系统共享问题，提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案；研究了共享T-型子网合成网的结构性质，提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件；特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于一类系统的设计和分析，具有一定的实用价值。 |
| 语种 | 英语 |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/48057]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | 中国科学院数学与系统科学研究院 |
| 推荐引用方式 GB/T 7714 | 夏传良. Petri网共享T型子网合成结构性质分析及其应用[J]. 计算机科学,2007,034(003):240. |
| APA | 夏传良.(2007).Petri网共享T型子网合成结构性质分析及其应用.计算机科学,034(003),240. |
| MLA | 夏传良."Petri网共享T型子网合成结构性质分析及其应用".计算机科学 034.003(2007):240. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。