Buchumschlag

Soundness of reset workflow nets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Blondin, Michael, Finkel, Alain, Hofman, Piotr, Mazowiecki, Filip, Offtermatt, Philip
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
von: Drabik, Karolina, et al.
Veröffentlicht: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
von: Finkel, Alain, et al.
Veröffentlicht: (2025)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
von: Jecker, Ismaël, et al.
Veröffentlicht: (2023)

Extended time Petri nets
von: Radom, Marcin, et al.
Veröffentlicht: (2024)

Maximal 2-dimensional binary words of bounded degree
von: Massé, Alexandre Blondin, et al.
Veröffentlicht: (2025)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2022)

Synchronizability of Communicating Finite State Machines is not Decidable
von: Finkel, Alain, et al.
Veröffentlicht: (2017)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

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

Non-interference analysis of bounded labeled Petri nets
von: Ran, Ning, et al.
Veröffentlicht: (2025)

Solvability of orbit-finite systems of linear equations
von: Ghosh, Arka, et al.
Veröffentlicht: (2022)

Minimizing Streaming String Transducers: An algebraic approach
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2026)

Minimizing Cost Register Automata over a Field
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2023)

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences
von: Bacik, Piotr
Veröffentlicht: (2024)

Maximal and minimal dynamic Petri net slicing
von: Llorens, Marisa, et al.
Veröffentlicht: (2021)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
von: Wehar, Michael
Veröffentlicht: (2025)

Introducing Divergence for Infinite Probabilistic Models
von: Finkel, Alain, et al.
Veröffentlicht: (2023)

Two-Way One-Counter Nets Revisited
von: Almagor, Shaull, et al.
Veröffentlicht: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)

A Factorization Theorem for Forest Algebras
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Box-Reachability in Vector Addition Systems
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
von: Prabhu, Shreekanth M, et al.
Veröffentlicht: (2023)

Learning EFSM Models with Registers in Guards
von: Vega, Germán, et al.
Veröffentlicht: (2024)

Active Inference of Extended Finite State Machine Models with Registers and Guards
von: Groz, Roland, et al.
Veröffentlicht: (2026)

Population Protocols over Ordered Agents
von: Blondin, Michael, et al.
Veröffentlicht: (2026)

A quadratic upper bound on the reset thresholds of synchronizing automata containing a transitive permutation group
von: Zhu, Yinfeng
Veröffentlicht: (2024)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
von: Kim, Moon, et al.
Veröffentlicht: (2025)

Castor Ministerialis
von: Hercher, Christian
Veröffentlicht: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2025)

Unambiguisability and Register Minimisation of Min-Plus Models
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)