지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1985.2
- 수록면
- 3 - 9 (7page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 Sequential시스템을 위한 R-net의 정의와 R-net의 특성을 밝히고 이들로 부터 병렬 시스템을 위한 Concurrent Petri Net의 구축 방법과 그 특성에 관하여 논한다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. Petri Net와 CSS (Computation Sequence Set)
Ⅲ. R-net와 R-net의 closure 특성
Ⅳ. R-net와 Finite Automata
Ⅴ. Concurrent Petri Net(C-net)
Ⅵ. 결론
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Concurrent System 분석을 위한 Generalized Petri Net 축소방법 ( Generalized Petri Net Reduction Method for Concurrent System Analysis )
대한전자공학회 학술대회
1986 .01
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
Deadlock Free를 위한 Petri Net의 합성및 제거
한국정보과학회 학술발표논문집
1985 .04
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
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
-
Colored Batch Petri Net and its Application to Emergency Evacuation System
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
-
On some analysis problem of extended batch Petri nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
Petri net의 구조적 boundedness를 판단하는 방법
한국정보과학회 학술발표논문집
1993 .04
-
Petri net의 擴張에 關한 硏究
한국통신학회논문지
1982 .12
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링
한국통신학회 학술대회논문집
1998 .07
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링 ( Modeling of interworking system for different management networks using Petri Net )
한국통신학회 학술대회논문집
1998 .01
-
Computational complexity of state number calculation problem of some bounded classes of Petri net
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017774622