@techreport{weko_51221_1,
   author	 = "伊藤,潔 and 本位田真一 and 内平,直志 and 志田,圭介",
   title	 = "ペトリネット可到達問題に対する線形整数計画法と時制論理の適用",
   year 	 = "1990",
   institution	 = "上智大学理工学部一般科学研究室情報科学部門, （株）東芝システム・ソフトウェア技術研究所, （株）東芝システム・ソフトウェア技術研究所, 上智大学大学院理工学研究科機械工学専攻",
   number	 = "4(1989-ICS-068)",
   month	 = "jan"
}