00984na  a2200217   4500001001300000005001500013008004100028040001100069041001300080052003200093245020200125300002500327545006900352545007200421653003000493700001900523700004800542773014000590900002000730900001600750KSI00039804220050603144912050526s2000    ulk           000   kor    a0110010 akorbeng01a028.605b한613ㅈㅂc7(7)00a페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증=xCommitability and integrity verification of workflow specification with petri nets/d정희택,e이도헌  ap. 2028-2040;c26 cm  a정희택, 정회원 : 여수대학교 전자계산학과 교수  a이도헌, 정회원 : 전남대학교 컴퓨터정보학부 교수  a워크플로우aWorkflow1 a정희택4aut1 a이도헌,g李度憲,d1969-0KAC2018080170 t정보처리논문지.d한국정보처리학회.g제7권 7호(2000년 7월), p. 2028-2040q7:7<2028w(011001)KSE199509081,x1226-919010aJeong, Hee-Taek10aLee, Doheon