:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bilgram, Alexander, Jensen, Peter G., Pedersen, Thomas, Srba, Jiri, Taankvist, Peter H.
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2204.07039
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
von: Jensen, Nicolaj Ø., et al.
Veröffentlicht: (2025)

Soundness Correction of Data Petri Nets
von: Suvorov, Nikolai M., et al.
Veröffentlicht: (2024)

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

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

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)

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

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

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

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

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)

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)

Unfoldings and coverings of weighted graphs
von: Courcelle, Bruno
Veröffentlicht: (2022)

Causal Unfoldings and Disjunctive Causes
von: de Visme, Marc, et al.
Veröffentlicht: (2020)

Two Cases of Deduction with Non-referring Descriptions
von: Raclavský, Jiří
Veröffentlicht: (2024)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
von: Pant, Sangeeta, et al.
Veröffentlicht: (2024)

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

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

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
von: Chirica, Ion, et al.
Veröffentlicht: (2025)

mstlo: Efficient Online Monitoring of Signal Temporal Logic
von: Thomsen, Andreas Kaag, et al.
Veröffentlicht: (2026)

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)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
von: Dubois, Tanguy, et al.
Veröffentlicht: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
von: Colvin, Robert J., et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Dialectica Petri Nets
von: Di Lavore, Elena, et al.
Veröffentlicht: (2021)