Analysis of Petri net models using transitive matrix

被引：0
|
作者：
Song, YJ [1 ]
Lee, JK [1 ]
机构：
[1] Changwon Natl Univ, Dept Comp Sci, Informat Syst Lab, Chang Won, Kyungnam, South Korea
来源：
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we are focused on the analysis of Petri nets model using the subnet. Specially, we are proposes a divide- conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. The usefulness of the approach is shown by applying the proposed techniques to a illustration model.
引用
收藏
页码：3122 / 3127
页数：6
相关论文
共 50 条
  • [1] Deadlock analysis of Petri nets using the transitive matrix
    Song, YJ
    Lee, JK
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 689 - 694
  • [2] Sequential failure analysis using counters of Petri net models
    Adamyan, A
    He, D
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2003, 33 (01): : 1 - 11
  • [3] Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models
    Tricas, Fernando
    Manuel Colom, Jose
    Julian Merelo, Juan
    2014 18TH INTERNATIONAL CONFERENCE SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2014, : 645 - 651
  • [4] Specification, safety and reliability analysis using stochastic petri net models
    Sheldon, FT
    Greiner, S
    Benzinger, M
    TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, : 123 - 132
  • [5] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
  • [6] MATLAB tools for the analysis of Petri net models
    Julvez, Jorge
    Matcovschi, Mihaela H.
    Pastravanu, Octavian
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [7] ANALYSIS OF PETRI-NET PERFORMANCE MODELS
    BILLINGTON, J
    HENDERSON, B
    PERFORMANCE EVALUATION, 1993, 18 (01) : 1 - 2
  • [8] Analysis of Scenarios with Petri-Net Models
    Sarmiento, Edgar
    Sampaio do Prado Leite, Julio Cesar
    Almentero, Eduardo
    2015 29TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2015, : 90 - 99
  • [9] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
  • [10] VALIDATION OF PETRI NET MODELS BY PETRI-NET-MACHINE
    STARKE, PH
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1988, 5 (03): : 253 - 261
12345