著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "International Conference on Applications and Theory of Petri Nets and Ciardo, Gianfranco and Darondeau, Phillippe","Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings",,Springer,2005,Lecture notes in computer science,,3540263012,,https://cir.nii.ac.jp/crid/1130000797479821824