Petri Nets, Discrete Physics, and Distributed Quantum Computation

We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl-Adam Petri. The connections between Petri nets and monoidal categories were illuminated in pioneering work by Ugo Montanari and Jos´e Meseguer. Recent work by the author and Bob Coecke has shown how monoidal categories with certain additional structure (dagger compactness) can be used as the setting for an effective axiomatization of quantum mechanics, with striking applications to quantum information. This additional structure matches the extension of the Montanari-Meseguer approach by Marti-Oliet and Meseguer, motivated by linear logic.

• Type: Conference
• Year: 2007
• Where: APN
• Authors: Samson Abramsky
• Keywords: Additional Structure, APN 2007, Artificial Intelligence, Monoidal Categories, Petri Nets