@techreport{weko_31066_1, author = "内平,直志 and 藤原,睦 and 飯島,正 and 本位田真一", title = "ペトリネットと時制論理による並列プログラミング言語", year = "1988", institution = "株式会社東芝システム・ソフトウエア技術研究所, 株式会社東芝総合研究所, 慶応義塾大学理工学部, 株式会社東芝システム・ソフトウエア技術研究所", number = "50(1988-PRO-017)", month = "jul" }