Title :
Analysis of Petri nets with batch processing arcs
Author :
Ohta, Atsushi ; Kato, Chieko ; Tsuji, Keita
Author_Institution :
Aichi Prefectural Univ., Japan
Abstract :
Petri net is a tool for discrete event systems. This paper studies analysis of Petri net extended with batch processing arcs. If a batch processing arc is connected from a place p to a transition t, firing of t removes all tokens in p. Turing machine equivalence and liveness condition of subclasses of batch Petri net are shown.
Keywords :
Petri nets; Turing machines; batch processing (industrial); discrete event systems; equivalence classes; Petri nets analysis; Turing machine; batch processing arcs; discrete event system; equivalence condition; liveness condition;
Conference_Titel :
SICE 2004 Annual Conference
Conference_Location :
Sapporo
Print_ISBN :
4-907764-22-7