| 弱引发三态加时变迁Petri网及其在并发系统中应用 |
| |
| 引用本文： | 桂志波,齐延信.弱引发三态加时变迁Petri网及其在并发系统中应用[J].应用基础与工程科学学报,1999,7(1):67-73. |
| |
| 作者姓名： | 桂志波 齐延信 |
| |
| 作者单位： | 南京理工大学动力工程学院,南京,210094 |
| |
| 摘 要： | 提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统；在并发意义下研究其动态行为及其特性，并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题
|
| 关 键 词： | 并发 弱引发 加时Petri网 动态行为 逻辑特性 调度 优化 |
| 修稿时间： | 1998年6月8日 |
Three-phase Timed-transition Petri Nets With The Weak Firing Rules and Their Application to Concurrent Systems |
| |
| GUI Zhibo,QI Yanxin.Three-phase Timed-transition Petri Nets With The Weak Firing Rules and Their Application to Concurrent Systems[J].Journal of Basic Science and Engineering,1999,7(1):67-73. |
| |
| Authors: | GUI Zhibo QI Yanxin |
| |
| Abstract: | A kind of three phase timed transition Petri nets with the week firing rules, which are presented in this paper, are able to model and analyze the concurrent systems with deterministically timing constraints and conflict structures; The dynamic behaviours of the nets are discussed under the concurrent machine, these research results are applied to verify the logic characteristics and to optimize the resource allocation of finit resource scheduling for the concurrent systems. |
| |
| Keywords: | concurrency weak firing rule timed transition Petri net dynamic behaviour logic property scheduling optimization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
