论文部分内容阅读
逻辑守恒性泛指广义的不变性和守恒性。泛权网场复合中的逻辑守恒性则包括稳定集及输入输出关系等。泛权网场进行复合的概念本身也是一般的网张，图，有限自动机，诊断模型等中的运算，状态转移等概念的概括和推广。在这篇文章中，首先引进并定义了泛权网场复合的一些规则，然后证明了一组与这种抽象的泛权网场复合相关的逻辑守恒性定理。