Long-Run Average Behaviour of Probabilistic Vector Addition Systems
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
复制标题
概率向量加法系统的长期平均行为
DOI：
10.1109/lics.2015.15
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Brazdil T
中科院分区：
文献类型：
--
作者：
Brazdil T
登录
查看更多内容
一处无界随机 Petri 网：遍历准则和稳态解
影响因子：
3.5
作者：
G. Florin;S. Natkin
通讯作者：
S. Natkin
DOI：
--
发表时间：
2004
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
Jérôme Leroux;G. Sutre
通讯作者：
G. Sutre
使用无界计数器对概率程序进行有效分析
DOI：
--
发表时间：
2011
期刊：
JACM
影响因子：
--
作者：
T. Brázdil;S. Kiefer;A. Kucera
通讯作者：
A. Kucera
开放同步排队网络的充分必要条件
DOI：
--
发表时间：
1989
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
G. Florin;S. Natkin
通讯作者：
S. Natkin
Petri 网中的概率
影响因子：
0.8
作者：
M. Kudlek
通讯作者：
M. Kudlek