Dialectica 模糊 Petri 网
计算机科学中的逻辑
2020-03-11 v1
摘要
Brown 与 Gurr 提出了一种基于 de Paiva 的 Dialectica 范畴的 Petri 网模型。该模型在一份未发表的技术报告中得到了改进，其中考虑了带重数的 Petri 网，而非仅含零与一重数的{\em 基本}网（即初等网）。在本注记中，我们将此建模扩展至处理{\em 模糊} Petri 网。其基本思想是在 Dialectica 范畴构造中，使用具有{\em lineale}结构所有性质的单位区间作为对偶对象。
引用
@article{arxiv.2003.04712,
title = {Dialectica Fuzzy Petri Nets},
author = {Valeria de Paiva and Apostolos Syropoulos},
journal= {arXiv preprint arXiv:2003.04712},
year = {2020}
}
备注
arXiv admin note: substantial text overlap with arXiv:1107.2513