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 条
  • [41] On some analysis properties of colored Petri net using underlying net
    Ohta, A
    Tsuji, K
    2004 47TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL III, CONFERENCE PROCEEDINGS, 2004, : 395 - 398
  • [42] Observability analysis of bounded petri net systems via a matrix approach
    Gao N.
    Han X.-G.
    Chen Z.-Q.
    Zhang Q.
    Chen, Zeng-Qiang (chenzq@nankai.edu.cn), 2018, South China University of Technology (35): : 71 - 78
  • [43] Decision tables in Petri net models
    Szpyrka, Marcin
    Szmuc, Tomasz
    ROUGH SETS AND INTELLIGENT SYSTEMS PARADIGMS, PROCEEDINGS, 2007, 4585 : 648 - +
  • [44] Diagnosis of DES with Petri net models
    Lefebvre, Dimitri
    Delherm, Catherine
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (01) : 114 - 118
  • [45] Petri net models of robotic tasks
    Milutinovic, D
    Lima, P
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 4059 - 4064
  • [46] Petri Net models in Computational Biology
    Popa, Stefan
    Dobrescu, Radu
    2015 E-HEALTH AND BIOENGINEERING CONFERENCE (EHB), 2015,
  • [47] Translating DEMO Models into Petri Net
    Vejrazkova, Zuzana
    Meshkat, Amir
    ENTERPRISE AND ORGANIZATIONAL MODELING AND SIMULATION, EOMAS 2013, 2013, 153 : 57 - 73
  • [48] USING LINEAR-PROGRAMMING IN PETRI NET ANALYSIS
    LASSERRE, JB
    MAHEY, P
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 1989, 23 (01): : 43 - 50
  • [49] Neural Petri-net models
    Koriem, S.M.
    El-Sharkawi, A.A.
    Journal of Engineering and Applied Science, 1998, 45 (02): : 211 - 226
  • [50] Model Simplification in Petri Net Models
    Davidrajuh, Reggie
    UKSIM FIFTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2011), 2011, : 162 - 167
12345