变迁系统与佩特里网中的不变式与归位空间

本讲义着重比较变迁系统、更具体地说是佩特里网中不变式（invariance）与归位空间（home spaces）的概念。我们还描述了线性代数如何与计算机科学中的这些基本概念相关联，以及如何利用它从由标记变迁系统（一般而言）和佩特里网（具体而言）描述的并行系统中提取不变性质。我们致力于将分散在佩特里网文献中的若干代数结果加以汇集，并补充围绕半流（semiflows）和生成集概念的新结果。\newline 文中给出若干详尽示例，以说明如何通过基础算术与代数系统地利用不变式和归位空间概念来证明佩特里网的行为性质。本讲义最后将对不变式和归位空间给出一些补充思考。