2002年 Some Petri Net Languages and Codes (共著) Lecture Note in Computer Science 巻 Vol. 2295 pp.69-80 号 エクスポート BibTeX RIS