【摘 要】
：
针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,
【基金项目】
：
陕西省自然基金资助(2009jm8002)
论文部分内容阅读
针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
近年的研究结果表明，约有1／3的慢性特发性荨麻疹患者存在自身免疫功能的异常。为了进一步分析本地区慢性荨麻疹的致病因素及各因素间的关系，笔者采用德国MEDIWISS敏筛过敏原检测
随着变电站设备监控业务的开展和交直流混合互联大电网协调控制的需要，智能电网调度控制系统接入和交换的数据种类和数量均较以往大大增加，承载的业务也更为多样化，这就对智能电
本文主要研究的是如下的低秩矩阵完整化问题,或称之为秩最小化问题：min rank(X)(1) s.t. Xij=Mij,(?)(i,j)∈Ω,及其较一般的情形：min rank(X)(2) s.t. A(X)=b.这个问题在统计,
系统运用CMOS数字图像传感器取代模拟CCD摄像机，采用带有USB总线的PIC18F4550单片机来控制和传输数据，实现了视觉检测前端数据采集与传输的数字化、智能化。本设计提高了系统的
<正> 心动过缓是心律失常的常见类型,轻者仅引起头晕、黑朦,重者可引起阿斯综合征甚至心脏停搏。其治疗原则以药物慢性刺激和起搏器植入为主,近年来,国内外用氨茶碱治疗缓慢
2008年1月15日，全球领先的测试、测量和监测仪器供应商——泰克公司宣布，它已经与中国领先的电子行业门户网站中电网签订协议，赞助和帮助中电网为电子工程与集成电路技术培训项
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
介绍了密封器件气密性检测方法以及内引线铝腐蚀引起器件失效的相关模式及机理。同时，结合某密封器件失效，利用电子扫描显微镜、能谱分析、半导体特性测试仪以及氦质谱检漏仪等