Copertina

Extended time Petri nets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Radom, Marcin, Formanowicz, Piotr
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

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

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

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

Soundness of reset workflow nets
di: Blondin, Michael, et al.
Pubblicazione: (2025)

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)

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

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

Computing measures of weak-MSO definable sets of trees
di: Niwiński, Damian, et al.
Pubblicazione: (2024)

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)

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)

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)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, 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)

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

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

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)

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

Completing the picture for the Skolem Problem on order-4 linear recurrence sequences
di: Bacik, Piotr
Pubblicazione: (2024)

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

Execution-time opacity problems in one-clock parametric timed automata
di: André, Étienne, et al.
Pubblicazione: (2024)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
di: Briones, Laura Brandán, et al.
Pubblicazione: (2025)

A Linear-time Simulation of Deterministic $d$-Limited Automata
di: Rubtsov, Alexander
Pubblicazione: (2023)

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

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

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)

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

Robust MITL planning under uncertain navigation times
di: Linard, Alexis, et al.
Pubblicazione: (2024)

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)