Dialectica Fuzzy Petri Nets

03/08/2020

∙

by   Valeria de Paiva, et al.

∙

0

∙

share

Brown and Gurr have introduced a model of Petri Nets that is based on de Paiva's Dialectica categories. This model was refined in an unpublished technical report, where Petri nets with multiplicities, instead of elementary nets (i.e., nets with multiplicities zero and one only) were considered. In this note we expand this modelling to deal with fuzzy petri nets. The basic idea is to use as the dualizing object in the Dialectica categories construction, the unit interval that has all the properties of a lineale structure.