査読有り 2014年7月 Reuse Method for Petri Net Based on Structure and Semantics ICEE2014 Takuma Sasaki, Ryo Kawabata, Kiyoshi Itoh エクスポート BibTeX RIS