Copertina

Waiting Nets: State Classes and Taxonomy

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hélouët, Loïc, Agrawal, Pranay
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
di: Memmi, Gerard
Pubblicazione: (2025)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
di: Bergenthum, Robin, et al.
Pubblicazione: (2026)

Reversible Transducers over Infinite Words
di: Dartois, Luc, et al.
Pubblicazione: (2024)

Correctness Notions for Petri Nets with Identifiers
di: van der Werf, Jan Martijn E. M., et al.
Pubblicazione: (2022)

Two-Way One-Counter Nets Revisited
di: Almagor, Shaull, et al.
Pubblicazione: (2024)

Invariants and Home Spaces in Transition Systems and Petri Nets
di: Memmi, Gerard
Pubblicazione: (2023)

Well-Formed Free-Choice Petri Nets Revisited
di: Jancar, Petr, et al.
Pubblicazione: (2026)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
di: Benzin, Janik-Vasily, et al.
Pubblicazione: (2024)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
di: Gómez-Martínez, Elena, et al.
Pubblicazione: (2026)

Operational State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)

On the Representation and State Complexity of Block Languages
di: Duarte, Guilherme, et al.
Pubblicazione: (2024)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
di: German, Samuel
Pubblicazione: (2026)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)

Fast and General Automatic Differentiation for Finite-State Methods
di: Yang, Lucas Ondel, et al.
Pubblicazione: (2026)

Efficient Constructions of Finite-State Independent Normal Pairs
di: Pulari, Subin
Pubblicazione: (2026)

Active Inference of Extended Finite State Machine Models with Registers and Guards
di: Groz, Roland, et al.
Pubblicazione: (2026)

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
di: Li, Xiaoyan, et al.
Pubblicazione: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Tokenization as Finite-State Transduction
di: Cognetta, Marco, et al.
Pubblicazione: (2024)

Secret Protection in Labeled Petri Nets
di: Haar, Stefan, et al.
Pubblicazione: (2025)

Persistent Permutability in Choice Petri Nets
di: Best, Eike, et al.
Pubblicazione: (2026)

Multihead Finite-State Compression
di: Lutz, Neil
Pubblicazione: (2025)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

Structural Reductions and Stutter Sensitive Properties
di: Paviot-Adet, Emmanuel, et al.
Pubblicazione: (2022)

Finite maximal codes and factorizations of cyclic groups
di: De Felice, Clelia
Pubblicazione: (2022)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
di: Angluin, Dana, et al.
Pubblicazione: (2022)

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)

All about unambiguous polynomial closure
di: Place, Thomas, et al.
Pubblicazione: (2022)

The Power-Set Construction for Tree Algebras
di: Blumensath, Achim
Pubblicazione: (2022)

Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
di: Ferens, Robert, et al.
Pubblicazione: (2022)

Minimality Notions via Factorization Systems and Examples
di: Wißmann, Thorsten
Pubblicazione: (2022)

Weighted Tree Automata -- May it be a little more?
di: Fülöp, Zoltán, et al.
Pubblicazione: (2022)

Composing Copyless Streaming String Transducers
di: Alur, Rajeev, et al.
Pubblicazione: (2022)

Binary codes that do not preserve primitivity
di: Holub, Štěpán, et al.
Pubblicazione: (2022)

A Regular and Complete Notion of Delay for Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2022)

Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)

Deterministic pushdown automata can compress some normal sequences
di: Carton, Olivier, et al.
Pubblicazione: (2022)