Empirical study on the complexity metrics of Petri nets

被引：12
|
作者：
Soo, Lee Gang [1 ]
Jung-Mo, Yoon [1 ]
机构：
[1] Han Nam Univ, Tae-jeon, Korea, Republic of
来源：
Microelectronics Reliability | 1992年 / 32卷 / 03期
关键词：
12;
D O I：
10.1016/0026-2714(92)90061-O
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：323 / 329
相关论文
共 50 条
  • [21] THE COMPLEXITY OF PROBLEMS INVOLVING STRUCTURALLY BOUNDED AND CONSERVATIVE PETRI NETS
    HOWELL, RR
    INFORMATION PROCESSING LETTERS, 1991, 39 (06) : 309 - 315
  • [22] Parameterized Complexity Results for 1-safe Petri Nets
    Praveen, M.
    Lodaya, Kamal
    CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 358 - 372
  • [23] On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency
    Tredup, Ronny
    Erofeev, Evgeny
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (324): : 78 - 95
  • [24] On the topological complexity of ω-languages of non-deterministic Petri nets
    Finkel, Olivier
    Skrzypczak, Michal
    INFORMATION PROCESSING LETTERS, 2014, 114 (05) : 229 - 233
  • [25] Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets
    Watel, Dimitri
    Weisser, Marc-Antoine
    Barth, Dominique
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 330 - 349
  • [26] A polynomial complexity algorithm to decide the liveness for a class of Petri nets
    Li, ZW
    Liu, D
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1175 - 1180
  • [27] Structural complexity analysis of information systems based on Petri nets
    J Beijing Inst Technol Engl Ed, 4 (416-423):
  • [28] The Ordinal-Recursive Complexity of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets
    Haddad, Serge
    Schmitz, Sylvain
    Schnoebelen, Philippe
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 355 - 364
  • [29] Complexity metrics for Petri net based logic control algorithms
    Frey, G
    Litz, L
    Klöckner, F
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 1204 - 1209
  • [30] Empirical evaluation of reuse sensitiveness of complexity metrics
    Kamiya, T
    Kusumoto, S
    Inoue, K
    Mohri, Y
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (05) : 297 - 305
12345