期刊文献+

资源分配系统禁止状态的避免研究 被引量:1

On the forbidden state avoidance of resource allocation systems
下载PDF
导出
摘要 基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析,提出一种避免资源分配系统禁止状态的方法.该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识,进而在线保证系统不到达死标识和坏标识对应的禁止状态.该方法与其他方法相比,它使系统的许可行为最大化且无需计算网系统的整个可达图,更适合比较庞大的资源分配系统. Developed in this paper is a new strategy for avoiding forbidden states of resource allocation systems. The strategy is based on Petri nets and their structural analysis, with the Petri nets bounded and covered by initial marked P-invariants. This approach is first to orderly conduct off-line computations of some special states or markings, such as dead (lock) markings, bad markings, and dangerous markings, of the system's Petri net model, and then make on-line the system never reach a forbidden state such as dead(lock) markings and bad markings. The major advantage of the technique lies in the fact taht it is suitable for much larger resource allocation systems than the most existing ones and the supervisory control is maximally permissive. Meanwhile, the computation is successfully avoided for the whole teachability graph of the Petri net of the system.
出处 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2005年第5期742-747,共6页 Journal of Xidian University
基金 国家自然科学基金资助项目(60474018) 教育部归国留学人员实验室基金(030401) 教育部归国留学人员科研基金(2004-527) 西安电子科技大学青年工作站基金资助项目(XD2004-04-01)
关键词 PETRI网 避免禁止状态 资源分配系统 危险标识 petri nets avoid forbidden state resource allocation systems dangerous marking
  • 相关文献

参考文献3

二级参考文献7

共引文献23

同被引文献10

  • 1何文涛,吴加武.航母编队特点及对策研究[J].现代防御技术,2004,32(5):18-20. 被引量:20
  • 2Lu Z, Levis A H. A Colored Petri Net Model of Distributed Tactical Decision Making[C]//In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics: 3. Piscataway: IEEE, 1991: 2035-2040.
  • 3Jensen K. Colored Petri Nets : Basic Concepts, Analysis Methods and Practical Use[M]. Berlin: Springer-Verlag, 1997.
  • 4Jensen K. Colored Petri Nets: a High-level Language for System Design and Analysis[J]. Lecture Notes in Computer Science, 1991(483): 342-416.
  • 5Jensen K. An Introduction to the Theoretical Aspects of Colored Petri Nets[J]. Lecture Notes in Computer Science, 1994(803) : 230-272.
  • 6Li Z W, Zhou M C. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems[J]. IEEE Trans on Syst, Man, and Cybern, Part A, 2004, 34(1): 38-51.
  • 7罗雪山,张维明.C^3I系统理论基础-C^3I系统建模方法与技术[M].长沙:国防科技大学出版社,2000..
  • 8杨秀珍,鞠传文,蔡芳,潘泉.有色Petri网在C^3I系统建模中的应用[J].电光与控制,1998,5(4):49-53. 被引量:1
  • 9朱德成,罗雪山,沈雪石.CPN在海上防空建模中的应用[J].火力与指挥控制,2002,27(3):42-45. 被引量:9
  • 10李志武,王安荣,贾建援.Petri网不变式和状态方程的求解[J].西安电子科技大学学报,2003,30(2):259-263. 被引量:16

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部