논문KCI 등재
인터넷상에서 페트리 넷을 이용한 하이퍼-프리젠테이션의 명시 표현 및 불일치성을 검증하기 위한 방법 연구
A Method for Describing a Hyper-Presentation Specification and Checking It's Inconsistency using Petri-Net in a Internet
한국정보처리학회|2002.10|정보처리학회 논문지 (The Transactions of the Korea Information Processing Society)|제9권 제5호|pp. 615-624
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류컴퓨터학
관련 논문AI추천
A Program Reliability of Internet Environment Using Colored Petri Nets김갑수, Rachna Kumar한국정보교육학회 · 정보교육학회논문지2009 · 제13권 제1호페트리 네트에 기반한 제품의 안전분석 방법 :하드웨어와 인간행태를 통합하여 분석하는 방법에 관하여고봉기, 임창주한국산업경영시스템학회 · 한국산업경영시스템학회지2006 · 제29권 제3호페트리 네트를 이용한 시스템 속성의 명세 및 분석이우진한국정보처리학회 · 정보처리학회논문지D2004 · 제11권 제1호X-인터넷 환경에서 생산성 있는 소프트웨어 개발 방법의 설계이명호한국산업경영시스템학회 · 한국산업경영시스템학회지2005 · 제28권 제2호웹 기반 비즈니스 프로세스의 리엔지니어링과 명세를 위한 BPN 모형이강수, 장수진, 최상수한국정보처리학회 · 정보처리학회논문지D2003 · 제10권 제3호Persistent Connection을 지원하는 웹서버 모델링 및 성능분석김학배, 남의석, 민병석, 심영석, 이상문한국정보처리학회 · 정보처리학회논문지C2002 · 제9권 제4호