即时观测Petri网的结构活性

@第{Valusek2021StructuralLO条，title={即时观测Petri网的结构活性}，author={Jiri Valusek和Petr Jan{\vc}ar}，日志={ArXiv}，年份={2021}，体积={abs/2112.15524}，url={https://api.semanticscholar.org/CorpusID:245634436}}
结果表明，对于IO网络，SLP是PSPACE-hard，对于BIMO网络，在PSPACE中是PSPACE，并且网络位置中的令牌数的（小）边界对标记（非）活动起决定性作用。
[PDF]语义阅读器
1引文

本文图表

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

一篇引文

《基础信息学》出版物完整书目：（2020年{2029年）

近似值[125]。

19参考文献

即时观测Petri网的平坦性和复杂性

本文表明IO网络是全局平坦的，因此可以使用FAST、，并使BIO网成为第一个具有非线性可达关系的自然网类，其可达性问题可证明比一般Petri网更简单。

即时观测Petri网的有效约束

探讨了IO网络可达性问题的两个限制，这两个限制大大降低了问题的复杂性，对于分布式协议中应用程序的第一个限制，复杂性是NP-完全的，对于化学环境中的应用程序的第二个限制，其复杂性是多项式的。

即时观测Petri网的参数化分析

结果用于证明即时观测总体协议的正确性问题是完全的，回答了先前论文中的一个悬而未决的问题。

Petri网的结构活性是ExpSpace-hard和可判定的

Petri网的结构活性问题是ExpSpace-hard且可判定的；特别地，给定一个网N和一个半线性集S，可以判定N的初始标记是否包含在S中。

Petri网中若干问题的复杂性

Petri网中家乡状态的存在是可判定的

Petri网的可判定性问题

    M.哈克
    计算机科学、数学
    计算机专业优秀论文…
  • 1975
许多Petri网问题被证明是递归等价于向量加法系统的可达性问题，并且可达集的相等性和两个Petri网在语言生成能力方面的等价性是递归不可判定的。

向量加法系统的可达性是Ackermann-complete

证明问题是$\mathcal{F}（F）_{k} $-对于状态为6k维的向量加法系统来说是困难的，其中k是快速增长的复杂性类层次结构中的第$k$个复杂性类。

向量加法系统的可达性在固定维上是本原递归的

这项工作对Mayr、Kosaraju和Lambert的经典分解算法及其终止证明进行了重大改进，得出了一般情况下的ACKERMANN上界，以及固定维下的基元递归上界。

自由选择Petri网

petri网、S-系统和T-系统的分析技术，以及覆盖性定理显示了自由选择和最短序列的可达性。