Analysis of Petri nets by means of concurrent simulation

被引：2

作者：

Karatkevich, A ^{[1
]}

Zakrevskij, A ^{[1
]}

机构：

[1] Inst Engn Cybernet, Minsk 220012, BELARUS

来源：

PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING | 2002年

关键词：

D O I：

10.1109/PCEE.2002.1115207

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In the paper the task of concurrent analysis of a Petri net is considered. A Petri net is given, and several processes able to simulate transition firings. The methods of analysis described in this paper are based on the original approach to net decomposition and oriented for the so-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space constructing; both their sequential and parallel versions are described. Also the algorithm of decomposition oriented to concurrent analysis is described. The suggested methods of analysis can be implemented as a multithread application.

引用

页码：87 / 91

页数：5

共 50 条

[1] Efficient analysis of concurrent systems by Petri nets
Hiraishi, K
[J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1998, 81 (09): : 29 - 36
[2] CONCURRENT BISIMULATIONS IN PETRI NETS
BEST, E
DEVILLERS, R
KIEHN, A
POMELLO, L
[J]. ACTA INFORMATICA, 1991, 28 (03) : 231 - 264
[3] Petri Nets for Concurrent Programming
Rawson, Marshall
Rawson, Michael G.
[J]. 2022 IEEE/ACM FIFTH ANNUAL WORKSHOP ON EMERGING PARALLEL AND DISTRIBUTED RUNTIME SYSTEMS AND MIDDLEWARE, IPDRM, 2022, : 17 - 24
[4] CONCURRENT MODELING AND SIMULATION OF REACTIVE MANUFACTURING SYSTEMS USING PETRI NETS
BENARIEH, D
MIRON, I
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1991, 20 (01) : 45 - 58
[5] Analysis of approximate Petri nets by means of occurrence graphs
Suraj, Zbigniew
Fryc, Barbara
[J]. FUNDAMENTA INFORMATICAE, 2007, 79 (3-4) : 541 - 551
[6] Improving analysis and simulation of continuous Petri nets
Recalde, L.
Mahulea, C.
Silva, M.
[J]. 2006 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2006, : 9 - +
[7] Analysis of Concurrent Security Protocols Using Colored Petri Nets
Long, Shigong
[J]. 2009 INTERNATIONAL CONFERENCE ON NETWORKING AND DIGITAL SOCIETY, VOL 1, PROCEEDINGS, 2009, : 227 - 230
[8] Petri Nets for Systems Concurrent Engineering
Garbi, Giuliani Paulineli
Loureiro, Geilson
[J]. IMPROVING COMPLEX SYSTEMS TODAY, 2011, : 75 - 82
[9] Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
Bulitko, V
Wilkins, DC
[J]. ARTIFICIAL INTELLIGENCE, 2003, 144 (1-2) : 95 - 124
[10] Object-oriented Petri nets, their simulation, and analysis
Ceska, M
Janousek, V
Vojnar, T
[J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 256 - 261

← 1 2 3 4 5 →