지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1983.5
- 수록면
- 137 - 144 (8page)
이용수
초록· 키워드
오류제보하기
Petri net 에 대한 기본적인 정의, 구조적인 특성 그리고 marking에 관련된 동적인 특성을 설명하였다. 또한 기본 Petri net 가 모델로서 지니고 있는 제한점과 함께 Petri net with inhibitor arcs, timed Petri net, generalized Petri net, synchronized Petri net, 그리고 stochastic Petri net 등 주요한 변형된 모델들의 확장된 표현력을 논의 하였다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 기본 Petri net[Ⅱ]
Ⅲ. Petri net의 변형 및 확장
Ⅳ. 결론
REFERENCE
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Petri net의 확장에 관한 연구 ( A Study on the extension of Petri Net ）
한국통신학회지(정보와통신)
1982 .01
-
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
-
Fuzzy Petri Net을 이용한 Communication Protocol의 Data control과 Modeling
한국정보과학회 학술발표논문집
1991 .04
-
시스템 분석을 위한 Petri net의 축조 연구
한국통신학회 학술대회논문집
1990 .11
-
시스템 분석을 위한 Petri net 축조 연구 ( A Relation Reduction of Petri nets for System Analysis )
한국통신학회 학술대회논문집
1990 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성 ( Petri Net Language generation for analysis of computer system )
대한전자공학회 학술대회
1986 .01
-
컴퓨터 시스템 분석을 위한 Petri net언어의 생성
대한전자공학회 학술대회
1986 .12
-
Petri net의 擴張에 關한 硏究
한국통신학회논문지
1982 .12
-
On some analysis problem of extended batch Petri nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
Petri Net를 이용한 호환기의 축소된 호처리 모델링 ( Reduced Call Processing Modeling of Exchange using Petri Net )
한국통신학회 전문대학 논문지
1992 .01
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링 ( Modeling of interworking system for different management networks using Petri Net )
한국통신학회 학술대회논문집
1998 .01
-
Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링
한국통신학회 학술대회논문집
1998 .07
-
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
-
인터넷 멀티미디어 시나리오를 모델하기 위한 페트리 넷 소개
한국정보과학회 학술발표논문집
2000 .10
-
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘 ( An Improved Algorithm for Performance Evaluation of Communication Protocol Using Extended Timed Petri Nets )
한국통신학회논문지
1989 .06
-
Timed Petri Nets를 이용한 공장자동화시스템의 스케쥴링 ( Scheduling of Factor Automation Systems Using Timed Petri Nets )
대한전자공학회 학술대회
1989 .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
-
On the Composition of Time Functions in Time Petri Nets
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1994 .01
이 논문의 저자 정보
이 논문과 함께 이용한 논문
고속도로 정밀 측위를 위한 차선 끝점 검출 방법 및 성능 평가 자동화
장은석
,
서재규
,
정호기
한국자동차공학회논문집
2019
.01
레거시 소프트웨어의 모델 전환 : 레거시 코드를 테스트 오라클로 활용한 모델 기반 테스트 환경에 관한 연구
신기욱
,
박란영
,
임동진
한국자동차공학회 춘계학술대회
2018
.06
변경된 제어기 소프트웨어 검증을 위한 최적 테스트케이스 도출 전략
이혜련
,
박한곤
,
정기현
외 1명
한국자동차공학회 춘계학술대회
2018
.06
MATLAB SIMULINK를 이용한 제어기 모델 설계 및 검증
김지용
,
정충구
한국자동차공학회 추계학술대회 및 전시회
2017
.11
자율주행자동차의 종방향 주행지원시스템 기능안전 컨셉 설계 및 검증
안대룡
,
신성근
,
박기홍
외 2명
한국자동차공학회논문집
2018
.03
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017774319