王君英
- 作品数：2 被引量：3H指数：1
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 星载天线机电一体化分析
- 王君英
- 共享竞争择一资源Petri网的形式化设计方法被引量：3
- 1993年
- 自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一,以往,自动制造系统的Petri网控制器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁,这主要是对共享资源的不适当设计造成的,对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法,本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器设计的形式化方法,它也适用于Petri网的自动建模。
- 崔亚军王君英
- 关键词：PETRI网
