一种用于表达有限位置/变迁Petri网的过程演算
计算机科学中的逻辑
2010-12-01 v1
摘要
我们引入过程演算Multi-CCS，它保守地扩展了CCS，增加了一个强前缀算子，能够建模原子动作序列以及多方同步。Multi-CCS配备了基于最小结构同余的带标号迁移系统语义。通过一种新颖的技术，Multi-CCS还配备了不安全的P/T Petri网语义。这是第一个包含CCS作为子演算的丰富过程演算，它获得了基于不安全、带标号P/T网的语义。本文的主要结果是：一类称为有限网过程的Multi-CCS过程能够表示所有有限（约简）P/T网。
引用
@article{arxiv.1011.6433,
title = {A Process Calculus for Expressing Finite Place/Transition Petri Nets},
author = {Roberto Gorrieri and Cristian Versari},
journal= {arXiv preprint arXiv:1011.6433},
year = {2010}
}
备注
In Proceedings EXPRESS'10, arXiv:1011.6012