fiflffiffl????<=>=?? DinnerBell ?

ssaeoeoAEOEO o!"?#$

%&'( * )*+, ** -./0

Department of Electrical Engineering, The University of Tokyo

7-3-1 Hongou, Bunkyo-ku, Tokyo 113, Japan

* 12 Sony Computer Science Laboratory Inc.

** 12 3456789:;8<

???Z????T{??F??fifl?XYZ[N6?{k???RD???6 &??fifl&'fi?(6k???*?~??T}?XYZ[N6?Z?WX?~ Shapiro 6 Algorithmic Program Debugging[16] ?r??fl?~?fi?fiABXYZ[] Z???XY?L6?i???d?6RD???6?TUV?flXYZ[??(6? ???S??~???<fi??
ABCDEFGHIJ45 DinnerBell [31, 30, 32, 33] ???=ABXYZ[ ]ZT?fi??????E6?p????&?OPQR??i?&?fifl>?fifl? ~??6?i?&6?)?o??ABXYZ[]Z??<fi????fl????? ZT?fi?F???R?~?????~?
DinnerBell 6?i?&???i??? Petri-Net ?fifl???~?????~? ?6 Petri-Net ?*?~??T}??XYZ[?6?Y??i??T?lfl?~?8 ???S??~??6?????fl?HIXY?L?6??1Y?G2????E6 56flq7??8?+??6??ABXYZ[N6?Z?WX??~???y??

1 @??Z[?AO??

rB`2??UE?T???`26??????&K??l?^_??~rB6???(? T??~`2 (???) 6????_6?T{?????XYZ[]Z45T????~?? 6/?rB?????l?T?~??/???(?TUV?fl=AB`2?9:??~??/? ?fl???fi?fi?rB`2?=AB`2?fifl?W?T?????OR AB Prolog[14] 6}? ?O???XY???????????6=AB??I?XYZ[]Z45T????6}? ????[???~?????lfl???

ffl ??O?PNT@C??~AB???DT????T????~??

ffl A{XYZ[N6?i?????????~??

ffl A{XYZ[N678????Z6F???~??

?6/TAB?{????~???fifl?Gy???6??????6??/??~??flT? ?i??6??T?Gy???6??????6??/??~??~?./0?Gy???6T