期刊文献+

Petri网系统活性保持的充分与必要条件

On Sufficient and Necessary Conditions for Liveness of Petri Nets
下载PDF
导出
摘要 研究了Petri网活性保持的充分条件与必要条件.借助于Siphon非前阻塞的概念得到了Petri网活性的必要条件.以一类简单网为例,利用线性规划方法判定Siphon是非前阻塞的,降低了计算复杂性.在讨论Petri网活性的充分条件时,对弱活性的网增加约束条件使其保持活性,并借助增广Petri网的活性导出原网的活性,进而将讨论的范围拓广至通用的Petri网,最后通过例子验证了方法的有效性. The sufficient and necessary conditions for liveness of Petri nets were studied.The necessary conditions for the liveness of petri nets were obtained by means of the concept of Siphon non-pre-blocked.Taking a class of simple nets as an example,the linear programming method was used to determine that Siphon was non-pre-blocked,which reduced the computational complexity.In the discussion of sufficient conditions for the liveness of Petri nets,constraint conditions were added to the weakly live nets to keep them live,and the liveness for the original nets was derived by means of the liveness for the extended Petri nets,and then the scope of discussion was extended to the general Petri nets.Finally,the effectiveness of the method was verified by an example.
作者 蔡晓霞 郭承军 陈鹤峰 CAI Xiao-xia;GUO Cheng-jun;CHEN He-feng(Guangdong University of Technology,Guangzhou Guangdong 510520)
出处 《广东技术师范大学学报》 2022年第3期37-43,52,共8页 Journal of Guangdong Polytechnic Normal University
基金 广东省自然科学基金项目(2018A030313871).
关键词 PETRI网 活性 非前阻塞 Petri net liveness non-pre-blocked
  • 相关文献

参考文献3

二级参考文献19

共引文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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