论文部分内容阅读
通过建立对象通讯网（OCNet）,分析对象通讯子网OCi出现死锁情况,从而实现了对整个系统的死锁分析。这种死锁分析方法简化了计算分析过程,为发现排解死锁现象提供了可靠依据。
板材FMS基于规则的面向对象Petri网模型死锁分析
【摘 要】
：
通过建立对象通讯网（OCNet）,分析对象通讯子网OCi出现死锁情况,从而实现了对整个系统的死锁分析。这种死锁分析方法简化了计算分析过程,为发现排解死锁现象提供了可靠依据。
【机 构】
：
河北工业职业技术学院宣钢分院,河北宣化工程机械股份有限公司
【出 处】
：
山西冶金
【发表日期】
：
2007年3期
其他文献
介绍了一、二次球磨作业10：3工艺在某选矿厂一选车间的应用,结果表明：使用该工艺后,重选作业-200目给矿粒度质量分数提高5%-10%,重精品住提高0.36%,重尾品位降低2.19%。
循证药学（Evidence—based Pharmacy）是90年代医药学信息领域的重大进展，是遵循科学的依据，以证据为基础的临床药物治疗学。目前我国开展临床药学工作多数只停留在处方分析、药物
通过大田试验，对目前哈密地区生产上常用的5种配置方式下棉花形态变化及产量构成因素进行研究。结果表明：（1）处理A出苗比处理B、C、D、E早1～4d，现蕾早1-5d，开花早3～6d，吐絮早2～7d；（2）处理A