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 条
  • [21] Modules of Petri nets and new Petri net structure: Arcs with a weighted function set
    Zhu, Rongming
    Ban, Qing
    Cong, Xuya
    ADVANCES IN MECHANICAL ENGINEERING, 2019, 11 (03)
  • [22] MUSIC DESCRIPTION AND PROCESSING BY PETRI NETS
    HAUS, G
    RODRIGUEZ, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 175 - 199
  • [23] LINEAR ALGEBRA ALGORITHMS FOR THE STRUCTURAL-ANALYSIS OF PETRI NETS
    TOUDIC, JM
    REVUE TECHNIQUE THOMSON-CSF, 1982, 14 (01): : 137 - 155
  • [24] Structural agility analysis of interorganizational processes based on Petri nets
    Wang, TM
    Yan, ZJ
    PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING (12TH), VOLS 1- 3, 2005, : 116 - 120
  • [25] Structural Analysis of Petri Nets for Modeling and Analyzing Signaling Pathways
    Behinaein, Behnam
    Rudie, Karen
    Sangrar, Waheed
    2014 IEEE 27TH CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2014,
  • [26] Structural complexity analysis of information systems based on Petri nets
    J Beijing Inst Technol Engl Ed, 4 (416-423):
  • [27] Control of batch processes based on hierarchical Petri nets
    Yajima, T
    Ito, T
    Hashizume, S
    Kurimoto, H
    Onogi, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (11) : 2895 - 2904
  • [28] Structural properties of a class of Petri nets
    Amer-Yahia, C
    Zerhouni, N
    El Moudni, A
    Ferney, M
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 215 - 220
  • [29] Fluid Stochastic Petri Nets augmented with flush-out arcs:: A transient analysis technique
    Gribaudo, M
    Horváth, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 944 - 955
  • [30] Fluid Stochastic Petri Nets augmented with flush-out arcs:: A transient analysis technique
    Gribaudo, M
    Horváth, A
    9TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS, 2001, : 145 - 154
12345