Analysis of discrete-time stochastic Petri nets

被引：29
|
作者：
van der Aalst, WMP
van Hee, KM
Reijers, HA
机构：
[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
[2] Eindhoven Univ Technol, Dept Technol Management, NL-5600 MB Eindhoven, Netherlands
[3] Deloitte & Touche Bakkenist Management & ICT Cons, NL-1100 DP Amsterdam, Netherlands
来源：
STATISTICA NEERLANDICA | 2000年 / 54卷 / 02期
关键词：
Petri nets; performance analysis;
D O I：
10.1111/1467-9574.00139
中图分类号：
O21 [概率论与数理统计]; C8 [统计学];
学科分类号：
020208 ; 070103 ; 0714 ;
摘要：
The Petri net formalism is widely applied in both theoretical and practical settings. For the sake of performance analysis, the original Petri net model has been extended with the notion of time. This paper addresses the different issues involved with this extension. Also, it provides a state-of-the-art overview of different analysis techniques for timed Petri nets. A new analysis technique is presented, which combines the freedom of choosing arbitrary time distributions within a Petri net model on the one hand and efficient computation means on the other.
引用
收藏
页码：237 / 255
页数：19
相关论文
共 50 条
  • [1] DISCRETE-TIME STOCHASTIC PETRI NETS
    MOLLOY, MK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (04) : 417 - 423
  • [2] Modeling of Discrete-Time Systems Using Petri Nets
    Baniardalani, Sobhi
    [J]. 2019 27TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE 2019), 2019, : 1188 - 1192
  • [3] "Truly concurrent" and nondeterministic semantics of discrete-time Petri nets
    Virbitskaite, I. B.
    Borovlev, V. A.
    Popova-Zeugmann, L.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2016, 42 (04) : 187 - 197
  • [4] “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
    I. B. Virbitskaite
    V. A. Borovlev
    L. Popova-Zeugmann
    [J]. Programming and Computer Software, 2016, 42 : 187 - 197
  • [5] Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
    Magnin, Morgan
    Molinaro, Pierre
    Roux, Olivier
    [J]. FUNDAMENTA INFORMATICAE, 2009, 97 (1-2) : 139 - 176
  • [6] Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
    Knapik, Michal
    Penczek, Wojciech
    Szreter, Maciej
    Polrola, Agata
    [J]. FUNDAMENTA INFORMATICAE, 2010, 101 (1-2) : 9 - 27
  • [7] ANALYSIS OF PARALLEL DISCRETE-SYSTEMS BY DISCRETE STOCHASTIC AND FUZZY PETRI NETS
    OLEJ, V
    CHMURNY, J
    MOKRIS, I
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 221 - 237
  • [8] Safety Analysis based on Stochastic Time Petri Nets
    Peng, Ying
    Yao, Shu-zhen
    Tan, Huo-bin
    [J]. 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND APPLICATIONS (CSA), 2015, : 287 - 292
  • [9] Symbolic state space of stopwatch Petri nets with discrete-time semantics (theory paper)
    Magnin, Morgan
    Lime, Didier
    Roux, Olivier H.
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 307 - 326
  • [10] Contraction Analysis of Discrete-Time Stochastic Systems
    Kawano, Yu
    Hosoe, Yohei
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (02) : 982 - 997
12345