DocumentCode
1620055
Title
Analysis of Petri nets with batch processing arcs
Author
Ohta, Atsushi ; Kato, Chieko ; Tsuji, Keita
Author_Institution
Aichi Prefectural Univ., Japan
Volume
1
fYear
2004
Firstpage
517
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;
fLanguage
English
Publisher
ieee
Conference_Titel
SICE 2004 Annual Conference
Conference_Location
Sapporo
Print_ISBN
4-907764-22-7
Type
conf
Filename
1491457
Link To Document