Copertina

Petri Nets and Higher-Dimensional Automata

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Amrane, Amazigh, Bazille, Hugo, Fahrenberg, Uli, Hélouët, Loïc, Schlehuber-Caissier, Philipp
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Higher-Dimensional Timed Automata for Real-Time Concurrency
di: Amrane, Amazigh, et al.
Pubblicazione: (2024)

Logic and Languages of Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2024)

$ω$-Regular Energy Problems
di: Dziadek, Sven, et al.
Pubblicazione: (2022)

Variants of Higher-Dimensional Automata
di: Bazille, Hugo, et al.
Pubblicazione: (2026)

Closure and Decision Properties for Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2023)

Bisimulations and Logics for Higher-Dimensional Automata
di: Zouari, Safa, et al.
Pubblicazione: (2024)

Higher-Dimensional Automata : Extension to Infinite Tracks
di: Passemard, Luc, et al.
Pubblicazione: (2025)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2025)

The Temporal Logic Synthesis Format TLSF v1.2
di: Jacobs, Swen, et al.
Pubblicazione: (2023)

Automata on Graph Alphabets
di: Bazille, Hugo, et al.
Pubblicazione: (2026)

Presenting Interval Pomsets with Interfaces
di: Amrane, Amazigh, et al.
Pubblicazione: (2024)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
di: Akshay, S., et al.
Pubblicazione: (2022)

Structural Liveness of Conservative Petri Nets
di: Jančar, Petr, et al.
Pubblicazione: (2025)

Soundness Correction of Data Petri Nets
di: Suvorov, Nikolai M., et al.
Pubblicazione: (2024)

Structural Liveness of Immediate Observation Petri Nets
di: Jancar, Petr, et al.
Pubblicazione: (2021)

Methods for Efficient Unfolding of Colored Petri Nets
di: Bilgram, Alexander, et al.
Pubblicazione: (2022)

Myhill-Nerode Theorem for Higher-Dimensional Automata
di: Fahrenberg, Uli, et al.
Pubblicazione: (2022)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
di: Bellier, Dylan, et al.
Pubblicazione: (2026)

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
di: Jančar, Petr, et al.
Pubblicazione: (2022)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
di: Gonzalez, Bruno Maria René, et al.
Pubblicazione: (2025)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
di: Cesco, Arnaldo, et al.
Pubblicazione: (2021)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
di: Amat, Nicolas, et al.
Pubblicazione: (2024)

Quantum Petri Nets with Event Structures semantics
di: Joachim, Julien Saan, et al.
Pubblicazione: (2025)

Quantum Petri Nets with Event Structure semantics
di: Joachim, Julien Saan, et al.
Pubblicazione: (2025)

Separators in Continuous Petri Nets
di: Blondin, Michael, et al.
Pubblicazione: (2022)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
di: Memmi, Gerard
Pubblicazione: (2024)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
di: Haar, Stefan, et al.
Pubblicazione: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)

Step Automata
di: Wang, Yong
Pubblicazione: (2026)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

Automata for Enriched Trees and Applications
di: Blumensath, Achim
Pubblicazione: (2025)

Overview and Roadmap of Team Automata
di: ter Beek, Maurice H., et al.
Pubblicazione: (2025)

Kleene Theorem for Higher-Dimensional Automata
di: Fahrenberg, Uli, et al.
Pubblicazione: (2022)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
di: Jacobs, Swen, et al.
Pubblicazione: (2022)

Runtime Verification of Interactions Using Automata
di: Weil-Kennedy, Chana, et al.
Pubblicazione: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
di: Mertens, Hannah, et al.
Pubblicazione: (2026)

Large Language Model for OWL Proofs
di: Yang, Hui, et al.
Pubblicazione: (2026)

An Expressive Coalgebraic Modal Logic for Cellular Automata
di: Basold, Henning, et al.
Pubblicazione: (2025)

Small Test Suites for Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2024)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)