Autor:	de Paiva, Valeria, Syropoulos, Apostolos
Rok vydání:	2020
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	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. Comment: arXiv admin note: substantial text overlap with arXiv:1107.2513
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2003.04712 Zobrazit plný text záznamu View this record from Arxiv