@misc{oai:aichi-pu.repo.nii.ac.jp:00002081, author = {村瀬, 達哉}, month = {2014-09-09}, note = {2013年度卒業論文要旨, 情報科学部情報科学科}, title = {ペトリネットを用いた車載ワーク通信プロトコル「MOST」のモデル化と解析}, year = {} }