论文部分内容阅读
本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。
用Petri网进行并发系统的描述与分析
【摘 要】
：
本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造
【机 构】
：
北方工业大学计算机应用研究所,北京航空航天大学计算机系
【出 处】
：
北方工业大学学报
【发表日期】
：
1991年3期
其他文献
<正>自1987年Palmar等揭示血管内皮衍生舒张因子(EDRF)的化学本质即是NO以来,对NO的研究便成为现代生物学和医学研究中十分活跃的领域,并展示了方兴未艾的趋势。90年代初开始
单轴惯性圆运动振动筛的失振问题是生产实际中经常遇到的一个急需解决的问题。本文从单轴惯性圆运动振动筛的力学模型出发,在建立和求解其动力学微分方程的基础上,利用振幅计
期刊
在扭曲波冲量近似的框架下,本文讨论A（π+,η）B电荷交换反应下的η粒子产生。具体计算π能量为600—700MeV能区的13C（π+,η）1■N反应。分别用Eikonal近似方法和严格的分波法处理
本文研究了用WALSH函数对有滞后时间的线性连续系统进行参数估值的方法。文中提出以序域的最小二乘法来计算参数,并以残差平方和作为目标函数来估计滞后时间,给出了滞后阶跃
<正>糖尿病肾病早期缺乏明显临床表现,一旦发现,患者肾功能损害常已进人中晚期,我们用速率免疫散射比浊法测定了60例非胰岛素依赖型糖尿病(NIDDM)患者的尿液。α_1-微球蛋白(
本文所讨论的是试件宽度与钢板厚度之比不大于15的厚壁方钢管,内填高强混凝土的短柱,共进行23个中心受压及偏心受压构件试验,分析了受力性能,并对受力过程进行了计算机模拟计
中药不良反应已成为困扰广大医药工作者的一个难题。计算机云计算技术的飞速发展为预防中药不良反应的发生提供了一条新途径。云计算可以凭借虚拟化技术和资源整合,降低预防
近年来,我校在不断提高教学水平和教育质量的同时,采取有力措施,大力加强科研工作,取得了一批具有国际水平和国内先进水平的科研成果。在1986、1987两年中,承担国家各部委的
将计算机辅助教学软件运用到中药鉴定学理论及实验教学中,能调动学生积极性,增强记忆;提高教学效率,有利于解决教学重点、突破难点;推进学科发展,促进教研、科研活动的开展。