摘要
提出约束并发引发规则,建立该机制下Petri网行为的考察手段,进一步地对该机制下的随机Petri网的性能进行评估.本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据,为并发调度优化提供理论准备.
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.
出处
《自动化学报》
EI
CSCD
北大核心
1996年第4期410-417,共8页
Acta Automatica Sinica
基金
国家自然科学基金
关键词
约束并发机制
PETRI网模型
随机品质
逻辑行为
Restrictive concurrent machine, Petri net model, logical properties,stochastic performances, analysis, estimation, schedule.