约束并发机制下Petri网模型的逻辑行为考察与随机性能评估
Logical Properties Analysis and Stochastic Performances Estimated of Petri Nets Under Restrictive Concurrent Machine
-
摘要: 提出约束并发引发规则,建立该机制下Petri网行为的考察手段,进一步地对该机制下的 随机Petri网的性能进行评估.本文结果可以作为约束并发调度规则下系统逻辑行为分析与 随机品质估计的理论依据,为并发调度优化提供理论准备.Abstract: In this paper, the firing rule of restrictive concurrence is presented. The analysis tool of behavior and the estimation method of performance are established for Petri nets. The results of the paper can be used as theoetical basis for analysis and estimation of systems under restrictive concurrent machine. The results also provide scientific basis for concurrent schedule optimization of systems.
-
Key words:
- Restrictive concurrent machine /
- Petri net model /
- logical properties /
- stochastic performances /
- analysis /
- estimation /
- schedule
-
计量
- 文章访问数: 2332
- HTML全文浏览量: 53
- PDF下载量: 936
- 被引次数: 0
下载:
