On non-ergodic infinite-state stochastic Petri nets

被引：0
|
作者：
Bause, F [1 ]
机构：
[1] Univ Dortmund, D-44221 Dortmund, Germany
来源：
10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS | 2003年
关键词：
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 条
  • [31] Foundations of Infinite-State Verification
    Majumdar, Rupak
    SOFTWARE SYSTEMS SAFETY, 2014, 36 : 191 - 222
  • [32] STOCHASTIC PETRI NETS
    FLORIN, G
    NATKIN, S
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 143 - 160
  • [33] Ergodic to non-ergodic transition in low concentration Laponite
    Ruzicka, B
    Zulian, L
    Ruocco, G
    JOURNAL OF PHYSICS-CONDENSED MATTER, 2004, 16 (42) : S4993 - S5002
  • [34] STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
    Roberts, Riley
    Neupane, Thakur
    Buecherl, Lukas
    Myers, Chris J.
    Zhang, Zhen
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2022, 2022, 13182 : 319 - 331
  • [35] Universality in Infinite Petri Nets
    Zaitsev, Dmitry A.
    MACHINES, COMPUTATIONS, AND UNIVERSALITY, MCU 2015, 2015, 9288 : 180 - 197
  • [36] INFINITE BEHAVIOR OF PETRI NETS
    VALK, R
    THEORETICAL COMPUTER SCIENCE, 1983, 25 (03) : 311 - 341
  • [37] Institutions and entrepreneurship in a non-ergodic world
    Li, Dan
    Hitt, Michael A.
    Batjargal, Bat
    Ireland, R. Duane
    Miller, Toyah L.
    Cuervo-Cazurra, Alvaro
    GLOBAL STRATEGY JOURNAL, 2021, 11 (04) : 523 - 547
  • [38] Non-ergodic dynamics of an electron glass
    Univ of California, Riverside, United States
    J Phys I, 12 (1595-1602):
  • [39] NON-ERGODIC INTERVAL EXCHANGE TRANSFORMATIONS
    KEANE, M
    ISRAEL JOURNAL OF MATHEMATICS, 1977, 26 (02) : 188 - 196
  • [40] Generation and application of non-ergodic noise
    Liu Yan
    Bao Jing-Dong
    ACTA PHYSICA SINICA, 2014, 63 (24)
12345