On non-ergodic infinite-state stochastic Petri nets

被引:0
|
作者
Bause, F [1 ]
机构
[1] Univ Dortmund, D-44221 Dortmund, Germany
关键词
D O I
10.1109/PNPM.2003.1231545
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents a condition to detect infinite-state GSPNs, for which ergodicity is sensitive to parameter variations. The condition is based on the incidence matrix of the net and can be efficiently verified.
引用
收藏
页码:84 / 92
页数:9
相关论文
共 50 条
  • [21] Ergodic and non-ergodic clustering of inertial particles
    Gustavsson, K.
    Mehlig, B.
    EPL, 2011, 96 (06)
  • [22] Simple models for strictly non-ergodic stochastic processes of macroscopic systems
    George, G.
    Klochko, L.
    Semenov, A. N.
    Baschnagel, J.
    Wittmer, J. P.
    EUROPEAN PHYSICAL JOURNAL E, 2021, 44 (10):
  • [23] On non-ergodic asset prices
    Horst, Ulrich
    Wenzelburger, Jan
    ECONOMIC THEORY, 2008, 34 (02) : 207 - 234
  • [24] Non-ergodic laser cooling
    Cohen-Tannoudji, C
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1997, 355 (1733): : 2219 - 2221
  • [25] Simulation hemi-metrics between infinite-state stochastic games
    Goubault-Larrecq, Jean
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 50 - 65
  • [26] Infinite-State Energy Games
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Hofman, Piotr
    Mayr, Richard
    Kumar, K. Narayan
    Totzke, Patrick
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [27] THE NON-ERGODIC JACKSON NETWORK
    GOODMAN, JB
    MASSEY, WA
    JOURNAL OF APPLIED PROBABILITY, 1984, 21 (04) : 860 - 869
  • [28] On non-ergodic asset prices
    Ulrich Horst
    Jan Wenzelburger
    Economic Theory, 2008, 34 : 207 - 234
  • [29] RANDOMNESS AND NON-ERGODIC SYSTEMS
    Franklin, Johanna N. Y.
    Towsner, Henry
    MOSCOW MATHEMATICAL JOURNAL, 2014, 14 (04) : 711 - 744
  • [30] STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
    Neupane, Thakur
    Myers, Chris J.
    Madsen, Curtis
    Zheng, Hao
    Zhang, Zhen
    COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 540 - 549