零缺陷Petri网与乘积形式
离散数学
2010-06-01 v3
摘要
考虑具有竞争策略的马尔可夫Petri网。如果给定标记的概率可以分解为各库所上仅依赖于局部标记的项的乘积，则标记过程具有“乘积形式”平稳分布。首先我们观察到，为化学反应网络发展的Feinberg零缺陷定理，为乘积形式的存在性提供了一个结构性的简单充分条件。鉴于此，我们研究了自由选择网这一经典子类。粗略地说，我们证明唯一具有乘积形式的此类Petri网是状态机，其也可以被视为Jackson网络。
引用
@article{arxiv.0905.3158,
title = {Deficiency Zero Petri Nets and Product Form},
author = {Jean Mairesse and Hoang-Thach Nguyen},
journal= {arXiv preprint arXiv:0905.3158},
year = {2010}
}
备注
This is a long and improved version of the conference paper: J. Mairesse and H.-T. Nguyen. Deficiency zero Petri nets and product form. In G. Franceschinis and K. Wolf, editors, Petri Nets 2009, volume 5606 of LNCS, pages 103-122. Springer-Verlag, 2009