@techreport{weko_32512_1,
   author	 = "LiJianan and 鈴木,一郎 and 山下,雅史",
   title	 = "ペトリネットを用いて定義されたプロセスから構成されるリングに対する構造的帰納法",
   year 	 = "1992",
   institution	 = "Department of Electrical Engineering and Computer Science University of Wisconsin-Milwaukee, Department of Electrical Engineering and Computer Science University of Wisconsin-Milwaukee, 広島大学工学部 第2類",
   number	 = "94(1992-AL-030)",
   month	 = "nov"
}