http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Colored Batch Petri Net and its Application to Emergency Evacuation System
Maki Yabuuchi,Atsushi Ohta,Kohkichi Tsuji 대한전자공학회 2007 ITC-CSCC :International Technical Conference on Ci Vol.2007 No.7
Petri net is a powerful modeling tool for concurrent systems. This paper gives the definition of batch colored Petri net, an extended class of Petri net. Some analysis methods are studied. These results are applied to verification of an emergency evacuation system.