@techreport{weko_22481_1, author = "孫立寧 and 落水,浩一郎", title = "ペトリネットを利用した並行システムの動作解析", year = "1987", institution = "静岡大学工学部情報工学科, 静岡大学工学部情報工学科", number = "11(1986-SE-052)", month = "feb" }