Analysis of Petri nets with batch processing arcs
Akinori Ohta, Chiho Kato, Kohkichi Tsuji · 2004
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.