Connector algebras for C/E and P/T nets' interactions

DOI10.2168/LMCS-9(3:16)2013zbMath1274.68224arXiv1307.0204OpenAlexW2016355163MaRDI QIDQ2848361

Roberto Bruni, Ugo Montanari, Hernán Melgratti, Paweł Sobociński

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.0204

zbMATH Keywords

tilesC/E nets with boundariesconnector algebrasP/T nets with boundaries

Mathematics Subject Classification ID

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

Related Items (18)

A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ Unnamed Item ⋮ Asynchronous Traces and Open Petri Nets ⋮ A Normal Form for Stateful Connectors ⋮ Compositional Specification in Rewriting Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Open Petri nets ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ Behaviour, Interaction and Dynamics ⋮ On the geometry and algebra of networks with state ⋮ A Programming Language for Spatial Distribution of Net Systems ⋮ From Hierarchical BIP to Petri Calculus ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ Bayesian network semantics for Petri nets ⋮ Graphical Conjunctive Queries. ⋮ Refinement for signal flow graphs ⋮ Relational presheaves, change of base and weak simulation

Uses Software

• Reo

This page was built for publication: Connector algebras for C/E and P/T nets' interactions