@inproceedings{weko_147540_1,
   author	 = "井川,直 and 横川,智教 and 佐藤,洋一郎 and 有本,和民 and 近藤,真史 and 宮崎,仁",
   title	 = "補間に基づく時間ペトリネットの非有界モデル検査",
   booktitle	 = "ウィンターワークショップ2016・イン・逗子 論文集",
   year 	 = "2016",
   volume	 = "2016",
   number	 = "",
   pages	 = "10--11",
   month	 = "jan"
}