研究了Petri网活性保持的充分条件与必要条件.借助于Siphon非前阻塞的概念得到了Petri网活性的必要条件.以一类简单网为例，利用线性规划方法判定Siphon是非前阻塞的，降低了计算复杂性.在讨论Petri网活性的充分条件时，对弱活性的网增加约束条件使其保持活性，并借助增广Petri网的活性导出原网的活性，进而将讨论的范围拓广至通用的Petri网，最后通过例子验证了方法的有效性.
科研之友
微信
新浪微博
Facebook
分享链接
