论文标题
辩证性模糊培养皿网
Dialectica Fuzzy Petri Nets
论文作者
论文摘要
Brown和Gurr引入了基于De〜Paiva的辩证类类别的Petri网模型。该模型在未发表的技术报告中进行了完善，其中具有多重性的Petri Nets，而不是{\ em Elementary} Nets（即，考虑到零多重性，仅考虑一个网络）。在本说明中，我们扩展了此建模，以处理{\ em Fuzzy} petri网。基本思想是用作辩证神类别构建中的双重对象，这是具有{\ em lineale}结构的所有属性的单位间隔。
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.
