论文部分内容阅读
传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析法，旨在改进传统的分析方法，使Ｐｅｔｒｉ网真正成为并发系统建模与分析的有力工具。
随机Petri网同步并发行为的定量分析方法
【摘 要】
：
传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析
【机 构】
：
中科院自动化所,中科院自动化所北京100080,北京100080,北京100080
【出 处】
：
通信学报
【发表日期】
：
1995年1期
【基金项目】
：
国家自然科学基金,中科院自动化所复杂系统控制开放实验室基金
其他文献
采购是指个人或单位在一定的条件下从供应市场获取产品或服务作为自己的资源，为满足自身需要保证生产、经营活动正常开展的一项经常活动。为了实现高效廉价质优的采购目标，采购
随着中俄两国战略协作伙伴关系的升级,两国在高新技术及其产业合作领域也在不断拓宽与延伸。本文通过对俄罗斯与中国纳米技术与产业做出了详细的分析,分别分析了当前俄罗斯纳
仔猪副伤寒是由沙门氏菌引起的一种传染性疾病,常发生于6月龄以下的仔猪,以1～4月龄者发生较多,严重影响着仔猪的生长发育。本人根据多年的临床实践,学习前人治疗经验,总结出仔
<正> TY2540轮式拖拉机是一组功率为18.4kW,22.1kW,25.7kW,29.4kW共16个机型的拖拉机系列.主要用于旱地的耕、耙、播,施肥、收获、中耕和运输作业,也用于水田地区的旋耕、犁
本文研究连续相位调制信号相干解调的神经网络方法，提出了基于判决反馈预处理和变换域特征提取的射基函数网络解调方案，通过判决反馈预处理可以有效地减少网络输入信号样本个数
新型时钟提取电路省去传统提取电路中的非线性处理电路，从而简化了接收设备。在利用这种电路的光通信系统中，在发送端，时钟脉冲叠加在数字信号上；在接收端，主放电路以后分成两个通
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
20世纪70年代以来,以城市、地理、空间为落脚点,融合女性主义、生态主义以及其他少数和多元立场,西方马克思主义空间社会理论呈现出多样性发展势态,呈现了晚期马克思主义、后
本文提出了一个在ＰＲＭＡ／ＴＤＤ多址协议下的数据－话音综合方案，该方案以动态边界分离话音和数据业务。动态边界的位置由话音子系统的业务负荷确定，使系统在保证话音业务质量的前提下，让数据业务获得最大带宽。通过马尔可夫链建模，推导出了数据业务最大化公式，并进行了计算机系统仿真。分析结果表明，与ＰＲＭＡ数－话综合方案相比，该方案可使系统性能明显提高。动态边界也使话音业务子系统独立于数据业务子系统，因此，数