http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
On some analysis problem of extended batch Petri nets
Atsushi Ohta,Kohkichi Tsuji 대한전자공학회 2009 ITC-CSCC :International Technical Conference on Ci Vol.2009 No.7
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.