Institutional Repository
| Petri网共享T型子网合成活性分析 | |
| 夏传良 | |
| 2007 | |
| Source | 系统仿真学报
 |
| Issue | S1Pages:4-8,37 |
| English Abstract | 为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。 |
| Keyword | Petri网 合成 活性 有界性 系统设计 |
| Department | 中国科学院软件所计算机科学国家重点实验室,北京工业大学计算机科学与技术学院 北京100022,,北京100080 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11342 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 夏传良. Petri网共享T型子网合成活性分析[J]. 系统仿真学报,2007(S1):4-8,37. |
| APA | 夏传良.(2007).Petri网共享T型子网合成活性分析.系统仿真学报(S1),4-8,37. |
| MLA | 夏传良."Petri网共享T型子网合成活性分析".系统仿真学报 .S1(2007):4-8,37. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| Petri网共享T型子网合成活性分析.p（778KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment