On the geometry and algebra of networks with state

DOI10.1016/j.tcs.2016.01.028zbMath1359.68226OpenAlexW2250365786MaRDI QIDQ517043

F. Schiavio, Nicoletta Sabadini, Robert F. C. Walters

Publication date: 16 March 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.01.028

zbMATH Keywords

monoidal categoriesknotsnetworksPetri netsspans of graphs

Mathematics Subject Classification ID

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

Uses Software

• WiCcA

Cites Work

• Petri nets are monoids
• Cartesian bicategories. I
• The geometry of tensor calculus. I
• Braided tensor categories
• Braided compact closed categories with applications to low dimensional topology
• Tangled Circuits
• Connector algebras for C/E and P/T nets' interactions
• A Survey of Graphical Languages for Monoidal Categories
• The compositional construction of Markov processes II
• WiCcA : LTS Generation Tool for Wire Calculus
• Decorated Cospans
• Calculating Colimits Compositionally
• Representations of Petri Net Interactions
• Equational axioms for regular sets
• A Compositional Framework for Passive Linear Networks
• Introduction to bicategories
• Feedback, trace and fixed-point semantics
• Categories in Control
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the geometry and algebra of networks with state