Buchumschlag

Soundness Correction of Data Petri Nets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Suvorov, Nikolai M., Lomazova, Irina A., Rivkin, Andrey
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Structural Liveness of Conservative Petri Nets
von: Jančar, Petr, et al.
Veröffentlicht: (2025)

Petri Nets and Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

Structural Liveness of Immediate Observation Petri Nets
von: Jancar, Petr, et al.
Veröffentlicht: (2021)

Methods for Efficient Unfolding of Colored Petri Nets
von: Bilgram, Alexander, et al.
Veröffentlicht: (2022)

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
von: Jančar, Petr, et al.
Veröffentlicht: (2022)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
von: Amat, Nicolas, et al.
Veröffentlicht: (2024)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
von: Cesco, Arnaldo, et al.
Veröffentlicht: (2021)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
von: Gonzalez, Bruno Maria René, et al.
Veröffentlicht: (2025)

Quantum Petri Nets with Event Structures semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Quantum Petri Nets with Event Structure semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

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

Home Spaces and Invariants to Analyze Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2024)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

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

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
von: Kudasov, Nikolai
Veröffentlicht: (2022)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
von: Arias, Jaime, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

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

Sound and Complete Proof Rules for Probabilistic Termination
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Sound Conflict Analysis for Timed Contract Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

Proof Nets for PiL (Full Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
von: Fang, Liangda, et al.
Veröffentlicht: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Translating Workflow Nets into the Partially Ordered Workflow Language
von: Kourani, Humam, et al.
Veröffentlicht: (2025)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
von: Barbaro, Luca, et al.
Veröffentlicht: (2025)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
von: Ceulemans, Joris, et al.
Veröffentlicht: (2024)

Nets-within-Nets through the Lens of Data Nets
von: Di Cosmo, Francesco, et al.
Veröffentlicht: (2025)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2024)

On Reduction and Synthesis of Petri's Cycloids
von: Valk, Rüdiger, et al.
Veröffentlicht: (2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)