On the geometry and algebra of networks with state

DOI10.1016/J.TCS.2016.01.028MaRDI QIDQ517043zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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

Describes a project that uses

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)