최 한호 861 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 861 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 868 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 874 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 883 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 891 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 899 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 906 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 917 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 925 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 937 PDF KSCI 
 양정민 943 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 943 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 952 PDF KSCI 
 We propose how to translate relay circuits to the EMFGs ( Extended Mark Flow Graphs ) formally and analyze the original one by using the mark flow of it . Firstly , the concepts of the output condition , the output - on condition and the output - off condition are introduced in the relay circuits . These can be used to find the structure and the operation of respective relay outputs but the sequential operations of them cannot be obtained from these . Secondly , a relay circuit is translated to the corresponding EMFG as the all output - on conditions and all output - off conditions of it are translated to EMFGs . For the adequate translation , the condition arc and the concepts of the generation transition and the degeneration transition are introduced , and the duality for the simplification of the result . Thirdly , we analyze the operation of the original circuit by analyzing the mark flow of the resulting EMFG . We can achieve easy and fast analysis based on the EMFG ' s operation algorithm . Finally , we apply these to the relay circuit for an electric furnace and analyze its operation with the mark flow of the resulting EMFG . The formal translation from relay circuits to EMFGs makes the analysis easy so that these results can be used to design , modelling , the fault detection and the maintenance . 
 김훈모 958 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 958 PDF KSCI 
 https : / / doi . org / 10 . 5302 / J . ICROS . 2003 . 9 . 11 . 963 PDF KSCI