Asynchronous Traces and Open Petri Nets

DOI10.1007/978-3-319-25527-9_8zbMath1434.68320OpenAlexW2293205391MaRDI QIDQ3460864

Giacoma Valentina Monreale, Fabio Gadducci, Paolo Baldan, Filippo Bonchi

Publication date: 8 January 2016

Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25527-9_8

zbMATH Keywords

trace semantics(open) Petri netsasynchronous CCSmay testingmodular encoding

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Asynchronous Traces and Open Petri Nets ⋮ When to Move to Transfer Nets ⋮ Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ Open Petri nets

Cites Work

• A compositional Petri net translation of general \(\pi\)-calculus terms
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• A distributed operational semantics of CCS based on condition/event systems
• On bisimulations for the asynchronous \(\pi\)-calculus
• Comparing three semantics for Linda-like languages
• Trace and testing equivalence on asynchronous processes
• Contextual nets
• Connector algebras for C/E and P/T nets' interactions
• A General Theory of Barbs, Contexts, and Labels
• Asynchronous Traces and Open Petri Nets
• Compositional semantics for open Petri nets based on deterministic processes
• Lectures on Concurrency and Petri Nets
• Concurrency cannot be observed, asynchronously
• Fast asynchronous systems in dense time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Asynchronous Traces and Open Petri Nets