论文部分内容阅读
自控网是一种自修正系统，主要用于并发系统中的程序规范以及工业控制中的数学建模等领域。自控纲的S-不变、T-不变的非线性，使得它无法直接套用Petri网中一些已有的分析方法。有关不变的讨论一般在具体系统中作具体分析，从而给出具体的解释。对于一般网中S-不变呈现的特性在自控网上是否有条件的成立却鲜有文献涉及，本文给出了一个相应的定理。