论文部分内容阅读
提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．
Put forward the rules of restraint and concurrent triggering, establish the means of Petri net behavior under this mechanism, and further evaluate the performance of stochastic Petri nets under this mechanism. The results of this paper can be used as the theoretical basis for the analysis of system logic behavior and stochastic quality estimation under constrained concurrent scheduling rules to provide theoretical preparation for concurrent scheduling optimization.