论文部分内容阅读
讨论了自动制造系统中事件的形式化表示方式，以及制造系统中的工序和资源的Ｐｅｔｒｉ网表示。在此基础上还讨论了一类自动制造系统Ｐｅｔｒｉ网关联矩阵的构造形式和初始标识的确定方法。最后提出了自动制造系统Ｐｅｔｒｉ网控制器的形式化设计方法。
自动制造系统中的事件,资源和Petri网
【摘 要】
：
讨论了自动制造系统中事件的形式化表示方式，以及制造系统中的工序和资源的Ｐｅｔｒｉ网表示。在此基础上还讨论了一类自动制造系统Ｐｅｔｒｉ网关联矩阵的构造形式和初始标识的确定方法。最后提出
【机 构】
：
西安电子科技大学
【出 处】
：
机械科学与技术
【发表日期】
：
1996年3期
其他文献
去年,新余市委、市政府在给省委、省政府和省军区的一份报告中有这样一组数据:'1985年以来,我们通过努力,共为432户军官家属解决了住房困难。现有军官家属367户,已解决住
目的选育积累5-甲基四氢叶酸（5-MTHF）的双重药物抗性高产突变株,探讨发酵时间和温度对叶酸积累形式的影响。方法紫外线和EMS联合诱变;磺胺、甲氨蝶呤药物培养基筛选菌株;单因素
当计入几何非线性及刚弹耦合项时，弹性连杆机构的动力学方程是非线性的，本文对这一类型的时变非性振动方程的求解方法进行了研究，给出了一种实用迭代方法，并用这一方法研究了几何
我国是一个水资源贫乏的国家,农业作为用水大户,大力发展智能化节水灌溉技术变得十分必要。对智能化节水灌溉系统的优越性及我国现阶段智能化节水灌溉的发展现状做了简单阐述
详细介绍了新钢烧结厂取料机润滑系统的改造方案，用ZDRH－3000型干油智能集中润滑系统取代ZDRH－2000型智能集中润滑系统具有明显的技术优势。
我有一份很多人都羡慕的工作——空姐。经常在天上飞来飞去，用我们的服务和甜美的笑容感动乘客。大家都说我们是蓝天上的花朵。可我们也有很烦恼的一面，就是如何保持“花朵”的
《中华人民共机国军事设施保护法》的颁布实施,首次解决了军事设施保护无法可依的问题。要做到有法必依、执法必严、违法必究,离不开党政军民的共同努力。因此,在贯彻落实过
针对常用的轴流式风机，用计算流体力学（ＣＦＤ）方法设计了７个高性能翼型，对其中３个进行了风洞试验，同时还选用风机原来经济采用的两个已有翼型ＣＬＡＲＫ－Ｙ和ＲＡＦ－６Ｅ进行对比试验。试验表明，新设计的翼型，其气动