On some analysis problem of extended batch Petri nets
Atsushi Ohta, Kohkichi Tsuji · ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications · 2009
Petri net is a mathematical model for concurrent systems. In this paper, we suggest extended batch Petri net. Arc variables are introduced and arcs have weight of linear combination of these variables with nonnegative coefficients. When transition fires, maximum possible values are assigned to these variables. Analysis problems of batch Petri net are considered for this extended class of Petri net.