过渡系统和Petri网中的不变量和家庭空间
摘要：过渡系统和尤其是Petri网中的不变性和主空间的概念进行比较。我们还描述了线性代数与计算机科学中这些基本概念的关系，以及如何从一般的带标签过渡系统和Petri网中提取并行系统的不变性特性。我们致力于整理Petri网文献中分散的一些代数结果，并添加了关于半流和生成集的新结果。示例用于说明如何处理不变性以证明Petri网的行为属性。关于不变性和主空间的一些附加思考将结束本讲义。
作者：Gerard Memmi
论文ID：2306.07623
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-14