@inproceedings{CTT100588811,
  author = {萩原一郎 and Aized Tauseef and 高橋宏治 and 森村浩明},
  title = {Colored Petri Net Based Modeling and Analysis an integrated Automated Guide Vehicle System},
  booktitle = {計算工学講演会論文集},
  year = 2007,
}