On generating a basis of invariants in Petri Nets

被引：0
|
作者：
Bourjij, A
Boutayeb, M
Koenig, D
Cecchin, T
机构：
来源：
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION | 1997年
关键词：
Petri Nets; P-invariants; T-invariants;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we present a simple and fast invariants (P-invariants or T-invariants) in Petri Nets. Sufficient conditions to apply the proposed algorithm are given. Unlike previous techniques, our approach consists transforming the homogeneous equation into a reduced form and, with the aid of simple rules in order to obtain a basis of the invariants. It has been shown by means of numerical example that computational requirements are reduced, in comparison with the methods developed in literature [2]-[10], for large-scale systems.
引用
收藏
页码：2228 / 2233
页数：6
相关论文
共 50 条
  • [1] Generating Inductive Invariants for Petri Nets
    Wu, Bin
    Fu, YongJun
    ADVANCES IN ELECTRICAL ENGINEERING AND AUTOMATION, 2012, 139 : 259 - +
  • [2] On generating elementary T-invariants of Petri nets by linear programming
    Ge, QW
    Fukunaga, T
    Nakata, M
    2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 168 - 171
  • [3] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
  • [4] ON THE INVARIANTS OF COLORED PETRI NETS
    NARAHARI, Y
    VISWANADHAM, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
  • [5] Use of position invariants of the Petri nets
    Volkov, S.I.
    Mironovskij, L.A.
    Reshetnikov, N.N.
    Kibernetika i Vychislitel'naya Tekhnika, 1992, (01): : 92 - 99
  • [6] GENERATING BASIS SIPHONS AND TRAPS OF PETRI NETS USING THE SIGN INCIDENCE MATRIX
    BOER, ER
    MURATA, T
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1994, 41 (04): : 266 - 271
  • [7] Computing Parameterized Invariants of Parameterized Petri Nets
    Esparza, Javier
    Raskin, Mikhail
    Welzel, Christoph
    FUNDAMENTA INFORMATICAE, 2022, 187 (2-4) : 197 - 243
  • [8] Computing Parameterized Invariants of Parameterized Petri Nets
    Esparza, Javier
    Raskin, Mikhail
    Welzel, Christoph
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2021), 2021, 12734 : 141 - 163
  • [9] Generating minimal siphons and traps for Petri nets
    Jeng, MD
    Peng, MY
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2996 - 2999
  • [10] A Survey of Petri Nets Supervision Based on Place Invariants
    Wang, Shouguang
    Yu, Junwen
    Zhao, Liangxu
    PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 189 - 193
12345