Copertina

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Memmi, Gerard
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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)

Extended time Petri nets
di: Radom, Marcin, 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)

Non-interference analysis of bounded labeled Petri nets
di: Ran, Ning, et al.
Pubblicazione: (2025)

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

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

Waiting Nets: State Classes and Taxonomy
di: Hélouët, Loïc, et al.
Pubblicazione: (2022)

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
di: Christ, Derek, et al.
Pubblicazione: (2026)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
di: Iosif, Radu, et al.
Pubblicazione: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
di: Eichler, Paul, et al.
Pubblicazione: (2024)

Maximal and minimal dynamic Petri net slicing
di: Llorens, Marisa, et al.
Pubblicazione: (2021)

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

Modelling and Analysis of Supply Chains using Product Time Petri Nets
di: Lubat, Eric, et al.
Pubblicazione: (2026)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

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

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
di: Wehar, Michael
Pubblicazione: (2025)

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)

Idefix-Closed Languages and Their Application in Contextual Grammars
di: Ködding, Marvin, et al.
Pubblicazione: (2025)

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

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

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)

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

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)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

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

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
di: Zheng, Yangluo
Pubblicazione: (2024)

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

A Close Analysis of the Subset Construction
di: Baburin, Ivan, et al.
Pubblicazione: (2024)