Buchumschlag

Well-Formed Free-Choice Petri Nets Revisited

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jancar, Petr, Best, Eike, Devillers, Raymond, Ostadal, Matej
Format:	Preprint
Veröffentlicht:	2026
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

Persistent Permutability in Choice Petri Nets
von: Best, Eike, et al.
Veröffentlicht: (2026)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
von: Bergenthum, Robin, et al.
Veröffentlicht: (2026)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

Invariants and Home Spaces in Transition Systems and Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2023)

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

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
von: Benzin, Janik-Vasily, et al.
Veröffentlicht: (2024)

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

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

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

Secret Protection in Labeled Petri Nets
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

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

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

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

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
von: Christ, Derek, et al.
Veröffentlicht: (2026)

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

Hybrid Rebeca Revisited
von: Ghassemi, Fatemeh, et al.
Veröffentlicht: (2024)

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

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
von: Zetzsche, Stefan, et al.
Veröffentlicht: (2024)

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
von: Prinz, Thomas M., et al.
Veröffentlicht: (2026)

Waiting Nets: State Classes and Taxonomy
von: Hélouët, Loïc, et al.
Veröffentlicht: (2022)

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

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

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

Measure-Theoretic Aspects of Star-Free and Group Languages
von: Sin'ya, Ryoma, et al.
Veröffentlicht: (2025)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
von: Lubat, Eric, et al.
Veröffentlicht: (2026)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
von: Teodorescu, Vlad-Alexandru, et al.
Veröffentlicht: (2024)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
von: Kuriyama, Takayuki
Veröffentlicht: (2014)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
von: Nogami, Taisei, et al.
Veröffentlicht: (2024)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
von: Masopust, Tomáš, et al.
Veröffentlicht: (2024)

Directed Regular and Context-Free Languages
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

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

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Context-Free Languages of String Diagrams
von: Earnshaw, Matt, et al.
Veröffentlicht: (2024)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
von: Mengel, Stefan, et al.
Veröffentlicht: (2024)

Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages
von: Hopkins, Mark, et al.
Veröffentlicht: (2023)

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
von: Yang, Yunhao, et al.
Veröffentlicht: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

One-clock synthesis problems
von: Lasota, Sławomir, et al.
Veröffentlicht: (2026)