Asynchronous traces and open Petri nets

DOI10.1007/978-3-319-25527-9_8MaRDI QIDQ3460864zbMATH OpenOpenAlexFDO

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

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

(open) Petri netsasynchronous CCSmay testingmodular encodingtrace semantics

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)

Recommendations

• Encoding Asynchronous Interactions Using Open Petri Nets
• Trace and testing equivalence on asynchronous processes
• scientific article; zbMATH DE number 2064221
• scientific article; zbMATH DE number 3980501
• scientific article; zbMATH DE number 3967922

Cites work

• A compositional Petri net translation of general -calculus terms
• A congruence for Petri nets
• A distributed operational semantics of CCS based on condition/event systems
• A General Theory of Barbs, Contexts, and Labels
• Asynchronous traces and open Petri nets
• Comparing three semantics for Linda-like languages
• Compositional semantics for open Petri nets based on deterministic processes
• Concurrency cannot be observed, asynchronously
• Connector algebras for C/E and P/T nets' interactions
• Contextual nets
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Fast asynchronous systems in dense time
• scientific article; zbMATH DE number 4035159 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4094831 (Why is no real title available?)
• scientific article; zbMATH DE number 1330438 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 3892604 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• On bisimulations for the asynchronous -calculus
• Trace and testing equivalence on asynchronous processes

Cited in

(12)

• A fully abstract trace model for dataflow and asynchronous networks
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
• Trace and testing equivalence on asynchronous processes
• Encoding Asynchronous Interactions Using Open Petri Nets
• Asynchronous traces and open Petri nets
• When to move to transfer nets. On the limits of Petri nets as models for process calculi
• Efficiency of asynchronous systems and read arcs in petri nets
• Open Petri nets
• A trace semantics for Petri Nets
• Channel Properties of Asynchronously Composed Petri Nets
• Coupling asynchrony and interrupts: Place Chart Nets
• A categorical semantics for hierarchical Petri nets

This page was built for publication: Asynchronous traces and open Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460864)