Structural analysis of Petri Nets with batch processing arcs

被引：1

作者：

Ohta, Atsushi ^{[1
]}

Kato, Chihiro ^{[2
]}

Tsuji, Kohkichi ^{[1
]}

机构：

[1] Aichi Prefectural Univ, Nagakute, Aichi 480-1198, Japan

[2] Nissan Motor Corp, Yokohama, Kanagawa, Japan

来源：

2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS | 2006年

关键词：

D O I：

10.1109/ISCAS.2006.1693623

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Petri net is an effective tool for concurrent systems. This paper studies analysis of batch Petri net, which is an extended Petri net with batch processing arcs. Intuitively, if a batch processing arc is connected from a place p to a transition t, then single firing of the transition t removes all tokens in p. In this paper, we show that batch Petri net with unity weighted arcs is Turing machine equivalent. Analysis using incidence matrices is studied to show P-invariant is as effective as in normal Petri net.

引用

页码：4475 / +

页数：2

共 50 条

[1] Analysis of Petri nets with batch processing arcs
Ohta, A
Kato, C
Tsuji, K
SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 517 - 520
[2] Analysis issues in Petri nets with inhibitor arcs
Busi, N
THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 127 - 177
[3] Verification of Petri Nets with Read Arcs
Rodriguez, Cesar
Schwoon, Stefan
CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 471 - 485
[4] Reachability in Petri Nets with Inhibitor Arcs
Reinhardt, Klaus
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 : 239 - 264
[5] On petri nets with hierarchical special arcs
2017, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (85):
[6] Automatic hazard analysis of batch operations with Petri nets
Wang, YF
Wu, JY
Chang, CT
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2002, 76 (01) : 91 - 104
[7] Interval semantics for Petri nets with inhibitor arcs
Alqarni, Mohammad
Janicki, Ryszard
THEORETICAL COMPUTER SCIENCE, 2018, 727 : 1 - 23
[8] On the analysis of some structural properties of Petri nets
Bouyekhf, R
El Moudni, A
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (06): : 784 - 794
[9] Structural sensitivity for the conflicts analysis in Petri nets
Lefebvre, D
Delherm, C
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1051 - 1058
[10] Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
Padberg, Julia
GRAPH TRANSFORMATION (ICGT 2015), 2015, 9151 : 104 - 120

← 1 2 3 4 5 →