지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1986년도 가을 학술발표논문집 제13권 제2호(하)
- 발행연도
- 1986.10
- 수록면
- 747 - 752 (6page)
이용수
초록· 키워드
오류제보하기
Communication design 과정은 다음과 같이 4단계로 구분할 수 있다. 즉, requirement, specification, implementation, testing 이다. 본 논문에서는 Petri net model을 사용한 protocol의 specification과 verification method를 Alternating Bit Protocol 을 중심으로 연구했다. 또한 Petri net 의 최대의 단점인 “State-space explosion” 문제를 해결하기 위하여 Hierarchical reduction 방법을 사용했다.
목차
요약
Ⅰ. 서론
Ⅱ. Communication Protocol의 Specification
Ⅲ. Hierarchical Reduction
Ⅳ. Verification
Ⅴ. 결론
참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Petri net-based Verification Methods on MSC Specifications
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1997 .01
-
A Study on the Fuzzy Petri-net of the X. 25 Communication Protocol
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1994 .01
-
Extended Timed Petri Net Models for Performance Analysis of Communication Protocols
TENCON 87 - Computers and Communications Technology Toward 2000
1987 .01
-
A Petri Net Based Protocol Design Tool for Wireless Data Communication
대한전자공학회 워크샵
1996 .01
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
Description and Validation of Communication Protocol Using Petri Net
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1988 .01
-
Verification of Service Logic Using Petri Net Based Specifications in an IMT-2000 Network
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1998 .01
-
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘 ( An Improved Algorithm for Performance Evaluation of Communication Protocol Using Extended Timed Petri Nets )
한국통신학회논문지
1989 .06
-
통신 프로토콜의 성능분석을 위한 확장된 Timed Petri Net 모델
(구)정보과학회논문지
1988 .03
-
ANALYSIS OF COMMUNICATION PROTOCOL USING NET MODEL
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
Time Petri Nets에서의 스케쥴 문제분석 ( Scheduling Problems Analysis For Time Petri Net Reduction )
대한전자공학회 학술대회
1996 .01
-
Transition Function Petri Net Model for Multimedia Synchronization Specification
Journal of Electrical Engineering and information Science
1996 .12
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
Distributed Control of Industrial Robot Systems using Petri Net Based Multitask Processing
제어로봇시스템학회 국제학술대회 논문집
2009 .08
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
Fuzzy-Timing High-level Petri Net Model of a Real-Time Network Protocol
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017909785