【摘 要】
：
基于Petri网的结构分析理论,提出了自动制造系统Petri网模型的一种死锁控制方法.在这种策略的控制下,避免了系统中死锁的产生,从而使许多制造系统的Petri网模型具有活性.提出
论文部分内容阅读
基于Petri网的结构分析理论,提出了自动制造系统Petri网模型的一种死锁控制方法.在这种策略的控制下,避免了系统中死锁的产生,从而使许多制造系统的Petri网模型具有活性.提出了一种保证所有严格极小信标至少含有一个托肯的方法.对冗余严格极小信标的研究,提高了Petri网复杂自动制造系统的建模能力.结果表明,在设计无死锁的Petri网模型时,不是所有的严格极小信标都要考虑,从而简化了设计结果和控制算法.
其他文献
针对团队工作的复杂性,文中形式化地定义了支持团队工作模式的工作流模型.在此基础上,提出了以人员分配策略来表达团队构成和任务分配规则的方法,并根据团队工作的特点,引入
讨论了几种成本控制方法的异同点和适用范围;针对离散制造类型企业,讨论了基于工序费用标准的成本控制方法,提出了工序费用标准的概念,讨论了工序费用标准的测定方法以及如何
2011年11月22日上午，北海市独树根西社区的王主任将一面“为民服务惠及居民”的鲜红锦旗送到北供局领导的手中，感谢该局营销党支部为社区做了一件大好事，解决了社区广场舞台的用
因特网作为信息传递与共享的主要载体,为解决企业在分布式设计和制造环境下的信息交流问题提供了强有力的支持.对实施基于Web的CAPP技术服务中心所涉及的关键支撑技术、功能
近日，家住贵港市港北区蓝田村陈先生收到短信，“您好，由于10千伏棉村线负荷过重，长期运行可能随时断线，因此我局定于中午1点到下午6点停电施工，请做好停电准备，给您带来不便，请见谅…
“请游客们放心，遇到电力方面的问题请随时拨打95598热线，我们供电局会认真做好桂林各景区的供电服务，也清大家与亲友一起分享您在光明桂林旅行的见闻……”
近日，随着广东电网调度业务规范化管理达标验收专家组组长李森宣布来宾供电局以总体得分1710.4分，总得分率为90.0%的成绩通过地区调度业务规范化管理达标验收，
活动是产品开发流程的基本单元,研究其属性和描述模型是开展并行工程等产品开发模式技术研究的主要基础.本文提出一种从资源、技术和过程三个角度描述其属性的三维度活动模型
近日，南方电网公司公布了2012年第三方客户满意度测评结果，南宁供电局得分79分，比2011年提升8分，位居广西电网公司14个供电局第二，南网五个省会城市第二，优于南网公司平均水平，作为