Quantales from Petri Nets
Persiflage 2019-10-05
Summary:
A referee pointed out this paper to me: • Uffe Engberg and Glynn Winskel, Petri nets as models of linear logic, Colloquium on Trees in Algebra and Programming, Springer, Berlin, 1990. It contains a nice observation: we can get a commutative quantale from any Petri net. To do this, we can compose three functors. First, […]