지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- 대한전자공학회 ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications ITC-CSCC : 2009
- 발행연도
- 2009.7
- 수록면
- 855 - 858 (4page)
이용수
초록· 키워드
오류제보하기
Petri net is a mathematical model for concurrent systems. In this paper, we suggest extended batch Petri net. Arc variables are introduced and arcs have weight of linear combination of these variables with nonnegative coefficients. When transition fires, maximum possible values are assigned to these variables. Analysis problems of batch Petri net are considered for this extended class of Petri net.
목차
Abstract
1. Introduction
2. Extended Batch Petri nets
3. Analysis of extended net
4. Conclusion
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Petri net와 그의 변형
(구)정보과학회논문지
1983 .05
-
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 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
-
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석
정보과학회논문지 : 소프트웨어 및 응용
2000 .03
-
Petri net의 구조적 boundedness를 판단하는 방법
한국정보과학회 학술발표논문집
1993 .04
-
확장된 Timed Petri Net을 이용한 통신 프로토콜의 성능분석 알고리즘 ( An Improved Algorithm for Performance Evaluation of Communication Protocol Using Extended Timed Petri Nets )
한국통신학회논문지
1989 .06
-
Petri net에 의한 Concurrent System 설계에 관한 연구
(구)정보과학회논문지
1985 .02
-
Petri net의 擴張에 關한 硏究
한국통신학회논문지
1982 .12
-
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
-
Extended Timed Petri Net Models for Performance Analysis of Communication Protocols
TENCON 87 - Computers and Communications Technology Toward 2000
1987 .01
-
Petri Net을 이용한 시간논리 구조의 표현
대한전기학회 학술대회 논문집
2000 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-569-004021944