共享竞争择一资源Petri网的形式化设计方法

自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一,以往,自动制造系统的Petri网控制器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁,这主要是对共享资源的不适当设计造成的,对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法,本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器设计的形式化方法,它也适用于Petri网的自动建模。

“择劣竞争”机制下竞争系统的拓扑结构与演化性质

利用系统结构演化分析的方法,构建竞争系统的择劣竞争模型,以揭示在优先选择低竞争力对手的机制下系统的结构特征与演化性质。解析与模拟结果都表明:在择劣竞争机制驱动下,大量低竞争力节点将会被快速淘汰出竞争系统,长期中系统宏观结构状态呈现出较强的时间无关性和稳定特征;同时也证实不同的微观竞争机制将呈现不同的系统宏观结构特征与演化性质。刻画客观世界中普遍存在的"优胜劣汰"的竞争现象。