Dialectica Fuzzy Petri Nets
Logic in Computer Science
2020-03-11 v1
Abstract
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 {\em elementary} nets (i.e., nets with multiplicities zero and one only) were considered. In this note we expand this modelling to deal with {\em 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 {\em lineale} structure.
Keywords
Cite
@article{arxiv.2003.04712,
title = {Dialectica Fuzzy Petri Nets},
author = {Valeria de Paiva and Apostolos Syropoulos},
journal= {arXiv preprint arXiv:2003.04712},
year = {2020}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1107.2513