基于有限容量库所方法的死锁防止算法

针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法。该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大。最后用一个示例说明了该算法,并进行了进一步的讨论。

逆网在离散事件系统监控理论中的应用

Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用:一是用于求取弱禁止状态集,二是用于计算状态反馈控制策略.本文对这两个方面进行了简要的介绍,随后用一个简单的示例做了说明.

蚯蚓生意也赚钱

今年52岁的胡萍是地道的合肥城里人,8年前下岗后,她选择了在农村再就业,养起了让很多人都觉得害怕、恶心的蚯蚓。如今,胡萍的蚯蚓远销到铜陵、泾县、淮南、六安等省内外20多个地区。