Copertina

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Benzin, Janik-Vasily, Rinderle-Ma, Stefanie
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Extended time Petri nets
di: Radom, Marcin, et al.
Pubblicazione: (2024)

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)

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)

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

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

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)

Atomic Gliders and CA as Language Generators (Extended Version)
di: Fisman, Dana, et al.
Pubblicazione: (2025)

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)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)

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)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
di: Schalk, Patrizia, et al.
Pubblicazione: (2025)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
di: Manini, Andrea, et al.
Pubblicazione: (2026)

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

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)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

Reachability in VASS Extended with Integer Counters
di: Bizière, Clotilde, et al.
Pubblicazione: (2026)

Extended Stone Duality via Monoidal Adjunctions
di: Lenke, Fabian, et al.
Pubblicazione: (2024)

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

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)

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

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

Automata-less Monitoring via Trace-Checking (Extended Version)
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

Bi-reachability in Petri nets with data
di: Kamiński, Łukasz, et al.
Pubblicazione: (2024)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Large Language Models and the Extended Church-Turing Thesis
di: Wiedermann, Jiří, et al.
Pubblicazione: (2024)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)

A Formal Approach for Tuning Stochastic Oscillators
di: Ballarini, Paolo, et al.
Pubblicazione: (2024)

A Tree Sampler for Bounded Context-Free Languages
di: Considine, Breandan
Pubblicazione: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
di: Hausmann, Daniel, et al.
Pubblicazione: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
di: Acharya, Rohan, et al.
Pubblicazione: (2024)

Characterization of Isometric Words based on Swap and Mismatch Distance
di: Anselmo, M., et al.
Pubblicazione: (2024)