著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Villani, Emilia and Miyagi, Paulo Eigi and Valette, Robert",Modelling and analysis of hybrid supervisory systems : a petri net approach,,Springer-Verlag,2007,Advances in industrial control,,"9781846286506,9781846286513",,https://cir.nii.ac.jp/crid/1130000794904820736