지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1989년도 가을 학술발표논문집 제16권 제2호
- 발행연도
- 1989.10
- 수록면
- 161 - 164 (4page)
이용수
초록· 키워드
오류제보하기
일반적으로, 통신 프로토콜은 단 방향 FIFO 채널(Channel)을 통하여 메시지를 교환하는 유한 상태 기계 (Finite State Machine) 또는 Petri Net를 이용하여 상태 전이 그래프로 표현될 수 있다. 이러한 프로토콜은 동일 계층의 개체들간의 완전성(Completeness)과 정확성(Correctness)을 보장하고, 모호성(Ambiguity)을 피하기 위하여 대칭적 방법(Symmetrical Approach)을 이용한다. 본 논문에서는 FSM을 이용하여 대칭적 이중 통신기계로 표현된 한 기계의 프로토콜을 PN을 이용하여 변환하는 변환 규칙을 제시하여 검증 과정에서의 상태의 수를 줄이고, 메시지 교환에 사용되는 채널을 명확히 나타냄으로서 새로운 프로토콜 설계의 단순화 및 명확화를 기할 수 있다.
목차
요약
Ⅰ. 서론
Ⅱ. 통신 기계
Ⅲ. Petri Net
Ⅳ. 프로토콜 변환 규칙
Ⅴ. 연구및 사례 검토
Ⅵ. 결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘 ( An Improved Algorithm for Performance Evaluation of Communication Protocol Using Extended Timed Petri Nets )
한국통신학회논문지
1989 .06
-
Petri Net을 이용한 TDX 내부 프로토콜 검증에 관한 연구
한국정보과학회 학술발표논문집
1989 .10
-
컴퓨터 네트워크의 통신프로토콜을 위한 통합적 설계방법론
한국정보과학회 학술발표논문집
1990 .04
-
통신 프로토콜의 성능분석을 위한 확장된 Timed Petri Net 모델
(구)정보과학회논문지
1988 .03
-
관계 데이타베이스 기법과 FSM 모델을 이용한 프로토콜 검증에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
-
확장된 Petri Nets을 이용한 TDX 내부 프로토콜 검증
(구)정보과학회논문지
1991 .02
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
-
페트리네트를 이용한 프로토콜 시험 방법
한국통신학회 학술대회 및 강연회
1998 .07
-
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
-
Petri net의 구조적 boundedness를 판단하는 방법
한국정보과학회 학술발표논문집
1993 .04
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017914051