On the geometry and algebra of networks with state

DOI10.1016/J.TCS.2016.01.028zbMATH Open1359.68226OpenAlexW2250365786MaRDI QIDQ517043FDOQ517043

Authors: F. Schiavio, N. Sabadini, R. 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

Recommendations

• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks
• scientific article; zbMATH DE number 1107620
• Representations of Petri net interactions
• scientific article; zbMATH DE number 1107621
• Nets, relations and linking diagrams

zbMATH Keywords

networksknotsmonoidal categoriesPetri netsspans of graphs

Mathematics Subject Classification ID

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

Cites Work

• The geometry of tensor calculus. I
• Braided tensor categories
• A survey of graphical languages for monoidal categories
• Equational axioms for regular sets
• Title not available (Why is that?)
• Introduction to bicategories
• Cartesian bicategories. I
• Title not available (Why is that?)
• Braided compact closed categories with applications to low dimensional topology
• Title not available (Why is that?)
• Petri nets are monoids
• Tangled circuits
• Connector algebras for C/E and P/T nets' interactions
• The compositional construction of Markov processes. II
• \textsc{WiCcA}: LTS generation tool for wire calculus
• Decorated cospans
• Calculating Colimits Compositionally
• Representations of Petri net interactions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Compositional Framework for Passive Linear Networks
• Feedback, trace and fixed-point semantics
• Categories in control
• Title not available (Why is that?)

Cited In (3)

• On the closedness and geometry of tensor network state sets
• CospanSpan(Graph): a compositional description of the heart system
• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks

Uses Software

• WiCcA

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

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