Buchumschlag

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jančar, Petr, Leroux, Jérôme
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Structural Liveness of Conservative Petri Nets
von: Jančar, Petr, et al.
Veröffentlicht: (2025)

Structural Liveness of Immediate Observation Petri Nets
von: Jancar, Petr, et al.
Veröffentlicht: (2021)

A concise proof of Commoner's theorem
von: Jancar, Petr
Veröffentlicht: (2024)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2024)

Hypersequent Calculi Have Ackermannian Complexity
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

Soundness Correction of Data Petri Nets
von: Suvorov, Nikolai M., et al.
Veröffentlicht: (2024)

Petri Nets and Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

Methods for Efficient Unfolding of Colored Petri Nets
von: Bilgram, Alexander, et al.
Veröffentlicht: (2022)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
von: Cesco, Arnaldo, et al.
Veröffentlicht: (2021)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
von: Gonzalez, Bruno Maria René, et al.
Veröffentlicht: (2025)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
von: Amat, Nicolas, et al.
Veröffentlicht: (2024)

On the Reachability Problem for Two-Dimensional Branching VASS
von: Bizière, Clotilde, et al.
Veröffentlicht: (2025)

Quantum Petri Nets with Event Structures semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Quantum Petri Nets with Event Structure semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Separators in Continuous Petri Nets
von: Blondin, Michael, et al.
Veröffentlicht: (2022)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Invariants for One-Counter Automata with Disequality Tests
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

The Discontinuity Problem
von: Brattka, Vasco
Veröffentlicht: (2020)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
von: Balasubramanian, A. R.
Veröffentlicht: (2024)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
von: Arias, Jaime, et al.
Veröffentlicht: (2024)

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

On the Descriptive Complexity of Vertex Deletion Problems
von: Bannach, Max, et al.
Veröffentlicht: (2024)

The Descriptive Complexity of Relation Modification Problems
von: Chudigiewitsch, Florian, et al.
Veröffentlicht: (2026)

On the Complexity of the Skolem Problem at Low Orders
von: Bacik, Piotr, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
von: Neumann, Eike
Veröffentlicht: (2025)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
von: Ayhan, Sara
Veröffentlicht: (2025)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

A logic of judgmental existence and its relation to proof irrelevance
von: Pezlar, Ivo
Veröffentlicht: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

Bi-reachability in Petri nets with data
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)