Cover Image

Encoding Petri Nets into CCS (Technical Report)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bogø, Benjamin, Burattin, Andrea, Scalas, Alceste
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
by: Rowicki, Radosław Jan, et al.
Published: (2025)

NEST: Network Enforced Session Types (Technical Report)
by: Larsen, Jens Kanstrup, et al.
Published: (2026)

Behavioural Types for Heterogeneous Systems (Position Paper)
by: Fowler, Simon, et al.
Published: (2024)

JoinActors: A Modular Library for Actors with Join Patterns
by: Hussein, Ayman, et al.
Published: (2026)

Strong Priority and Determinacy in Timed CCS
by: Liquori, Luigi, et al.
Published: (2024)

Data Petri Nets meet Probabilistic Programming (Extended version)
by: Kuhn, Martin, et al.
Published: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
by: Zhang, Kaiwen, et al.
Published: (2026)

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

A Framework for Processing Textual Descriptions of Business Processes using a Constrained Language -- Technical Report
by: Burattin, Andrea, et al.
Published: (2025)

An Encoding of Interaction Nets in OCaml
by: Huber, Nikolaus, et al.
Published: (2025)

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
by: Furbach, Florian, et al.
Published: (2026)

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

Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)

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

Multiparty Session Typing, Embedded (Technical Report)
by: Jongmans, Sung-Shik
Published: (2025)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
by: Jonáš, Martin, et al.
Published: (2024)

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
by: Jongmans, Sung-Shik
Published: (2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
by: Acay, Coşku, et al.
Published: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

Kotlin ML Pack: Technical Report
by: Titov, Sergey, et al.
Published: (2024)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
by: Chen, Yijia, et al.
Published: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
by: Hogan, Brendan R., et al.
Published: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
by: Bergenthum, Robin, et al.
Published: (2026)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
by: Veresov, Aleksey, et al.
Published: (2024)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
by: Batz, Kevin, et al.
Published: (2024)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
by: Wu, Shushu, et al.
Published: (2025)

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
by: Ling, Hongyi, et al.
Published: (2026)

Creating Pleasant Programming Environments for Cognitive Science Students. Technical Report No. 16. [and] Domain Specific Debugging Aids for Novice Programmers. Technical Report No. 17.
by: Eisenstadt, Marc, et al.
Published: (1981)

Correctness Notions for Petri Nets with Identifiers
by: van der Werf, Jan Martijn E. M., et al.
Published: (2022)

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

Conditional Nested Pattern Matching in Interaction Net
by: Sato, Shinya
Published: (2024)

Active Learning of Symbolic NetKAT Automata
by: Moeller, Mark, et al.
Published: (2025)

act: Technical report
by: Paraskevopoulou, Zoe, et al.
Published: (2026)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
by: Todoran, Eneia Nicolae, et al.
Published: (2024)

Secret Protection in Labeled Petri Nets
by: Haar, Stefan, et al.
Published: (2025)