When to move to transfer nets. On the limits of Petri nets as models for process calculi

DOI10.1007/978-3-319-25527-9_22MaRDI QIDQ3460877zbMATH OpenOpenAlexFDO

Authors Gianluigi Zavattaro

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_22

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501
• Mobile Petri nets
• scientific article; zbMATH DE number 785044
• A process calculus for expressing finite place/transition Petri nets

Cites work

• A distributed operational semantics of CCS based on condition/event systems
• Asynchronous traces and open Petri nets
• Computability of Recursive Functions
• Expired data collection in shared dataspaces.
• scientific article; zbMATH DE number 1629939 (Why is no real title available?)
• scientific article; zbMATH DE number 1223710 (Why is no real title available?)
• scientific article; zbMATH DE number 559221 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Monotonic extensions of Petri nets: forward and backward search revisited
• On the expressive power of recursion, replication and iteration in process calculi
• On the Expressive Power of Restriction and Priorities in CCS with Replication
• On the expressiveness of Linda coordination primitives.
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• Reachability problems in BioAmbients
• Solving the Linda multiple rd problem using the copy-collect primitive

Cited in

(1)

• scientific article; zbMATH DE number 1064108 (Why is no real title available?)

This page was built for publication: When to move to transfer nets. On the limits of Petri nets as models for process calculi

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