著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Jensen, K. (Kurt)","Coloured Petri nets : basic concepts, analysis methods and practical use",2nd ed,Springer,1996,Monographs in theoretical computer science : an EATCS series,,"3540609431,3540582762,0387582762",,https://cir.nii.ac.jp/crid/1130282269261568000