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 条

[21] A Compositional Analysis Method for Petri-Net Models
Ding, Jie
Chen, Xiao
Wang, Rui
IEEE ACCESS, 2017, 5 : 27599 - 27610
[22] BUG Algorithm Analysis using Petri net
Yufka, Alpaslan
Aybar, Aydin
2013 8TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2013, : 507 - 511
[23] Sneak Circuit Analysis using Petri Net
Xu, Ping
Ma, Qishuang
ICIEA 2010: PROCEEDINGS OF THE 5TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOL 2, 2010, : 356 - 360
[24] A Pathway Analysis Approach Using Petri Net
Mansoori, Fatemeh
Rahgozar, Maseud
Kavousi, Kaveh
IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, 2021, 25 (03) : 874 - 880
[25] Petri net analysis using invariant generation
Sankaranarayanan, S
Sipma, H
Manna, Z
VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 682 - 701
[26] A scheduling analysis in FMS using the transitive matrix
Lee, JK
ARTIFICIAL INTELLIGENCE AND SIMULATION, 2004, 3397 : 167 - 178
[27] Distributed fault diagnosis using petri net reduced models
Arámburo-Lizárraga, J
López-Mellado, E
Ramírez-Treviño, A
INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 702 - 707
[28] BRANCH TESTING OF CONCURRENT PROGRAMS USING PETRI NET MODELS
HO, HF
CHEN, GH
KUO, TS
COMPUTING SYSTEMS, 1990, 5 (02): : 116 - 125
[29] Concurrent resolution in logic programming using Petri net models
Bhattacharya, Alakananda
Konar, Amit
Mandal, Ajit K.
ICCIMA 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, VOL II, PROCEEDINGS, 2007, : 43 - 47
[30] Logical inference of clauses in Petri net models using fixpoint
State Information Cent, Beijing, China
Ruan Jian Xue Bao, 4 (359-365):

← 1 2 3 4 5 →