| 题名: | Petri网共享T型子网合成活性分析 |
| 作者: | 夏传良
|
| 关键词: | Petri网
; 合成
; 活性
; 有界性
; 系统设计
|
| 刊名: | 系统仿真学报
|
| 发表日期: | 2007
|
| 期: | S1, 页:4-8,37 | | 部门归属: | 中国科学院软件所计算机科学国家重点实验室,北京工业大学计算机科学与技术学院 北京100022,,北京100080
|
| 摘要: | 为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。 |
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/11342
|
| Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| Petri网共享T型子网合成活性分析.pdf（778KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
夏传良. Petri网共享T型子网合成活性分析[J]. 系统仿真学报,2007-01-01(S1):4-8,37.
|
|
|
