乘积型 Petri 网的综合与分析
离散数学
2012-04-17 v2
摘要
对于大型马尔可夫模型，“乘积型”是对稳态行为的显式描述，否则该行为通常是难以处理的。它最早在排队网络中引入，随后被推广到马尔可夫 Petri 网。在此，我们探讨乘积型 Petri 网中三个此前完全或部分未解决的相关问题：(1) 我们提供了一套可靠且完备的综合规则；(2) 我们刻画了可达性等经典问题的精确复杂度；(3) 我们引入了一个新的子类，对于该子类，归一化常数（乘积型表达式的一个关键值）可以被高效计算。
关键词
引用
@article{arxiv.1104.0291,
title = {Synthesis and Analysis of Product-form Petri Nets},
author = {Serge Haddad and Jean Mairesse and Hoang-Thach Nguyen},
journal= {arXiv preprint arXiv:1104.0291},
year = {2012}
}
备注
This is a version including proofs of the conference paper: Haddad, Mairesse and Nguyen. Synthesis and Analysis of Product-form Petri Nets. Accepted at the conference Petri Nets 2011