Use of position invariants of the Petri nets

被引:0
|
作者
Volkov, S.I.
Mironovskij, L.A.
Reshetnikov, N.N.
机构
关键词
Searching Algorithms;
D O I
暂无
中图分类号
学科分类号
摘要
Searching algorithms of defect labelling and structural network defects were suggested. Classes of equivalent defects were described. Problem of revealing sets of unobserved defects was solved. In case initial network was not non-volatile and did not display positional invariants the network was turned into non-volatile at the expense of introduction of excessive positions without violating functioning rules. Such approach expanded field of using gained results.
引用
收藏
页码:92 / 99
相关论文
共 50 条
  • [21] Exploiting place invariants in condensed state space construction for Coloured Petri Nets
    Kristensen, LM
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 661 - 667
  • [22] Derivation of non-structural invariants of Petri Nets using abstract interpretation
    Clarisó, R
    Rodríguez-Carbonell, E
    Cortadella, J
    APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 188 - 207
  • [23] Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets
    Watanabe, Toshimasa
    Taoka, Satoshi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2009, E92A (11) : 2707 - 2716
  • [24] Use of constraints in Petri nets and their novel applications
    Boutet, F
    Motet, G
    Kubek, JM
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 32 - 37
  • [25] THE USE OF PETRI NETS FOR OCCAM PROGRAMMING FOR TRANSPUTERS
    LAU, MWS
    SEET, G
    ADVANCES IN ENGINEERING SOFTWARE, 1993, 17 (03) : 155 - 163
  • [26] ANALYSIS OF TRANSPORTATION SYSTEM WITH THE USE OF PETRI NETS
    Kowalski, Marcin
    Magott, Jan
    Nowakowski, Tomasz
    Werbinska-Wojciechowska, Sylwia
    EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY, 2011, (01): : 48 - 62
  • [27] Use of Petri nets for resource allocation in projects
    Kumar, VKA
    Ganesh, LS
    IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 1998, 45 (01) : 49 - 56
  • [28] Use of expanded Petri nets for protocol specification
    Golovin, Yu.A.
    Matveeva, V.A.
    Automatic Control and Computer Sciences, 1988, 22 (06) : 10 - 16
  • [29] Use of Petri Nets to Model eLearning Courses
    Smolka, Pavel
    Zacek, Martin
    Telnarova, Zdenka
    INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2019, 2020, 2293
  • [30] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297