库所/变迁系统的抽象进程
计算机科学中的逻辑
2011-04-20 v1
摘要
Petri 网理论中的一个著名问题是为库所/变迁系统形式化一种适当的基于因果关系的进程或运行概念。所谓的个体托肯解释，即根据因果历史区分托肯，从而产生 Goltz 和 Reisig 的进程，通常被认为过于详细。迄今为止，为一般库所/变迁系统定义一个完全令人满意的更抽象的进程概念的问题尚未解决。在本文中，我们回顾了使用 Best 和 Devillers 提出的等价关系，将 Goltz-Reisig 进程的等价类定义为抽象进程概念（此处称为 BD-进程）的方案。它至少对所有一安全网给出了完全令人满意的解。然而，对于某些直觉上具有不同冲突行为的网，它仅产生一个最大抽象进程。在此，我们识别了一类库所/变迁系统，称为结构冲突网，其中由托肯多重性引起的冲突与并发被清晰分离。我们证明，在结构冲突网的情况下，Best 和 Devillers 提出的等价关系仅对无冲突网产生唯一的最大抽象进程。因此，BD-进程在结构冲突网类中构成了一个简单且完全令人满意的解。
引用
@article{arxiv.1103.5916,
title = {Abstract Processes of Place/Transition Systems},
author = {Rob van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke},
journal= {arXiv preprint arXiv:1103.5916},
year = {2011}
}