论 Petri 网受体与效应器的概念
计算机科学中的逻辑
2020-01-14 v1
摘要
引入了 Petri 网的新子类——Petri 网受体与 Petri 网效应器。在主体 Petri 网中此类子结构的引入/排除可依据融合(Fusion)/解融(Defusion)原则完成。我们提出两对实体:位置标记受体(效应器)与变迁标记受体(效应器),它们允许观测主体 Petri 网的参数,并在必要时对其实施调节。
引用
@article{arxiv.2001.04265,
title = {On Concept of Petri Nets Receptors and Effectors},
author = {Alexander Yu. Chunikhin and Marina D. Sviatnenko},
journal= {arXiv preprint arXiv:2001.04265},
year = {2020}
}
备注
11 pages, 16 figures. arXiv admin note: text overlap with arXiv:1910.09326