有限Petri网的组合语义
摘要：有关有限Petri网的结构保持双相似性是一种真正的并发行为等价关系，它涉及产生相同因果网络（但仅限于相同大小的标记）的标记，从而也涉及相同的事件偏序。过程代数FNM确实表示了所有（且仅有）有限Petri网，一直到同构。我们证明结构保持双相似性是相对于FNM操作符的一个同余。通过这种方式，我们为所有有限Petri网定义了一个合成语义，完全尊重系统的因果关系和分支结构。此外，我们研究了结构保持双相似性的一些代数性质，这些性质是基于对FNM进程项进行一个完备而声音的公理化的基础。
作者：Roberto Gorrieri
论文ID：2308.08983
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-21