Automatic Generation Method of LDP Test Cases Using Design/CPN. - Hyunjeong Lee; Byungsun Lee (PDPTA, 2000)