"<? xml version ="" 1 . 0 "" encoding ="" euc - kr ""?> <! ELEMENT rule ( header ", fa ) > <! ELEMENT header ( name , comment ? , workingtime ? )> <! ELEMENT name ( # PCDATA ) > <! ELEMENT comment ( # PCDATA ) > <! ELEMENT workingtime ( wtime *) > <! ELEMENT wtime ( wstart , wstop ) > <! ELEMENT wstart ( # PCDATA ) > <! ELEMENT wstop ( # PCDATA ) > <! ELEMENT fa ( init , transition ) > <! ELEMENT init ( # PCDATA ) > <! ELEMENT transition ( state +)> <! ELEMENT state ( num , group *, action *, final ? , stimeout ? )> <! ELEMENT num ( # PCDATA ) > <! ELEMENT group ( delay ? , timeout ? , goto , input +)> <! ELEMENT delay ( # PCDATA ) > <! ELEMENT timeout ( # PCDATA ) > <! ELEMENT goto ( # PCDATA ) > <! ELEMENT input ( id , type ? , value , value 2 ? )> <! ELEMENT id ( # PCDATA ) > <! ELEMENT type ( # PCDATA ) > <! ELEMENT value ( # PCDATA ) > <! ELEMENT value 2 ( # PCDATA ) > <! ELEMENT action ( signal *)> <! ELEMENT signal ( sdelay ? , splugin , sid , svalue ) > <! ELEMENT sdelay ( # PCDATA ) > <! ELEMENT splugin ( # PCDATA ) > <! ELEMENT sid ( # PCDATA ) > <! ELEMENT svalue ( # PCDATA ) > <! ELEMENT final EMPTY > <! ELEMENT stimeout EMPTY >