基于标记作为多分类分析的着色Petri网理论基础
计算机科学中的逻辑
2022-03-03 v1 分布式、并行与集群计算
摘要
Barwise 与 Seligman 阐述了信息流的第一原理：“信息流源于分布式系统中的规律性。”他们用分类来表示分布式系统，该分类由一组待分类的对象或记号、一组用于分类记号的类别，以及记号与类别之间的二元关系（指明哪些记号被分类为哪些类别）构成。我们旨在推进这一研究，以动态或演化的系统取代静态系统。我们主张，分类是分布式系统在给定时刻或语境下的快照。我们随后旨在回答由演化语境所提出的问题：随着语境或配置的改变，规律性如何演化。本文是我们于 \cite{esterlin} 中开启的研究的延续，其中我们初步探讨了如何用 Kripke 结构捕捉信息流的动态性。此处我们以着色Petri网（CPN）发展相同步骤。我们首先将分类概念扩展为多分类，将其记号与类别间的二元关系替换为多关系：从 tok(A) × typ(A) 到自然数集 N 的函数。该多分类将展开为二元分类以计算其理论。结果表明，CPN 的标记为多分类；将这些作为 CPN 标记所得分类的理论进行合并，即构成 CPN 的知识库。
引用
@article{arxiv.2203.01194,
title = {Theoretical Foundation of Colored Petri Net through an Analysis of their Markings as Multi-classification},
author = {Jules Chenou and George Hsieh and Aurelia Williams},
journal= {arXiv preprint arXiv:2203.01194},
year = {2022}
}