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

摘要：

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

关键词：Petri网、活性、非前阻塞

所属期刊栏目：43

分类号：TP301(计算技术、计算机技术)

资助基金：广东省自然科学基金2018A030313871

在线出版日期：2022-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：37-43,52