Cover Image

Soundness Correction of Data Petri Nets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Suvorov, Nikolai M., Lomazova, Irina A., Rivkin, Andrey
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Structural Liveness of Conservative Petri Nets
by: Jančar, Petr, et al.
Published: (2025)

Petri Nets and Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2025)

Structural Liveness of Immediate Observation Petri Nets
by: Jancar, Petr, et al.
Published: (2021)

Methods for Efficient Unfolding of Colored Petri Nets
by: Bilgram, Alexander, et al.
Published: (2022)

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

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
by: Amat, Nicolas, et al.
Published: (2024)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
by: Gonzalez, Bruno Maria René, et al.
Published: (2025)

Quantum Petri Nets with Event Structures semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Quantum Petri Nets with Event Structure semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Separators in Continuous Petri Nets
by: Blondin, Michael, et al.
Published: (2022)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
by: Memmi, Gerard
Published: (2024)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
by: Haar, Stefan, et al.
Published: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
by: Gu, Chao, et al.
Published: (2020)

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

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

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

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
by: Kudasov, Nikolai
Published: (2022)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

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

Sound and Complete Proof Rules for Probabilistic Termination
by: Majumdar, Rupak, et al.
Published: (2024)

Sound Conflict Analysis for Timed Contract Automata
by: Azzopardi, Shaun, et al.
Published: (2024)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

Proof Nets for PiL (Full Version)
by: Acclavio, Matteo, et al.
Published: (2026)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
by: Fang, Liangda, et al.
Published: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Translating Workflow Nets into the Partially Ordered Workflow Language
by: Kourani, Humam, et al.
Published: (2025)

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

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
by: Ceulemans, Joris, et al.
Published: (2024)

Nets-within-Nets through the Lens of Data Nets
by: Di Cosmo, Francesco, et al.
Published: (2025)

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

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
by: Ehrhard, Thomas, et al.
Published: (2024)

On Reduction and Synthesis of Petri's Cycloids
by: Valk, Rüdiger, et al.
Published: (2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)