排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
Petri网理论研究中,逆网由于仅仅改变了原网中弧的方向而其状态空间没有任何变化,因此尚无深入的研究.但因其行为与原网行为的可逆性,在基于Petri网的离散事件系统监控理论中得到了一定的应用一是用于求取弱禁止状态集,二是用于计算状态反馈控制策略.本文对这两个方面进行了简要的介绍,随后用一个简单的示例做了说明. 相似文献
2.
基于有限容量库所方法的死锁防止算法 总被引:2,自引:0,他引:2
针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论. 相似文献
1