発行年1970 - 1974 キーワードPetri Nets 部局工学部