×

Mundici非简单性标准的替代方法。 (英语) Zbl 1323.46039号

作者摘要:在这篇简短的论文中,我们提出了一种替代方法,用以解决AF(C^ast)-代数的经典非简单判据D.蒙迪奇《功能分析杂志》65,15-63(1986;Zbl 0597.46059号)]. Mundici的结果基于模型理论工具。我们在这里的目的是使用分组理论方法来处理Petri网,如[B.布罗索夫斯基A.R.da席尔瓦,“关于随机发射模式的Petri网”,《车间算法与Werkzeuge für Petrinetze》,Forschungsbericht 694,25–31(1998)]。这种代数观点除了提供对Mundici准则的更简单访问之外,还允许以统一的方式处理不同类型的Petri网。

MSC公司:

46层35 \(C^*\)-代数的分类
PDF格式BibTeX公司 XML格式引用
全文: 链接