约束并发机制下Petri网模型的逻辑行为考察与随机性能评估  

LOGICAL PROPERTIES ANALYSIS AND STOCHASTIC PERFORMANCES ESTIMATED OF PETRI NETS UNDER RESTRICTIVE CONCURRENT MACHINE

作　　者：蒋昌俊[1] 疏松桂[1] 郑应平 

机构地区：[1]山东矿业学院计算机系,中国科学院自动化研究所

出　　处：《自动化学报》1996年第4期410-417,共8页Acta Automatica Sinica

基　　金：国家自然科学基金

摘　　要：提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．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.

关 键 词：约束并发机制 PETRI网模型 随机品质 逻辑行为 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]