지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록· 키워드
오류제보하기
For an analysis of the performance of a computer system, the minimum cycle time method has been widely used. The minimum cycle time method is a mathematical technique with which we can find the minimum duration time needed to fire all the transitions at least once and coming back to the initial marking in a timed net. A timed net is a modified version of a Petri net where a transition is associated with a delay time. In the real world, an event is associated with a probability of occurrence. However, a timed net is not equipped with any facility of specifying probability of event occurrence. Therefore, the minimum cycle time method applied on a timed net can easily overlook probabilities of occurrences of events and yield a wrong result.
We are proposing ‘Timed Net with Probabilities of Choices' where a transition can be associated with both delay time and a probability of occurrence. We also introduce an algorithm for minimum cycle time analysis on a ’Timed Net with Probabilities of Choices'. As an example of application, we are performing an analysis of the location based service system using ’Timed Net with Probabilities of Choices'.
We are proposing ‘Timed Net with Probabilities of Choices' where a transition can be associated with both delay time and a probability of occurrence. We also introduce an algorithm for minimum cycle time analysis on a ’Timed Net with Probabilities of Choices'. As an example of application, we are performing an analysis of the location based service system using ’Timed Net with Probabilities of Choices'.
목차
Abstract
1. 서론
2. 기존의 연구
3. 선택 확률 시간 넷과 알고리즘
4. LBS 시스템에의 적용 예
5. 결론
참고문헌
참고문헌 (9)
참고문헌 신청
[학술지(정기간행물)] - / 1998 / Faster Maximum and Minimum Mean Cycle Algorithms for System Performance Analysis 17 (10) : 889 ~ 899
[학술지(정기간행물)] - / 2004 / Lectures on Concurrency and Petri Nets Advances in Petri Nets Lecture Notes in Computer Science 3098
[학술지(정기간행물)] - / 1990 / Timed Petri Nets and Application to Multi-Stage Production Systems Lecture Notes in Computer Science Vol.424；Advances in Petri Nets 1989 : 281 ~ 305
[학술지(정기간행물)] - / 2002 / Using SMS to Deliver Location-based Services : 177 ~ 181
[학술지(정기간행물)] - / 198904 / Petri nets：Properties,Analysis and Applications 77. no.4 : 541 ~ 580
[학술지(정기간행물)] - / 2004 / Lectures on Concurrency and Petri Nets Advances in Petri Nets Lecture Notes in Computer Science 3098
[학술지(정기간행물)] - / 1990 / Timed Petri Nets and Application to Multi-Stage Production Systems Lecture Notes in Computer Science Vol.424；Advances in Petri Nets 1989 : 281 ~ 305
[학술지(정기간행물)] - / 2002 / Using SMS to Deliver Location-based Services : 177 ~ 181
[학술지(정기간행물)] - / 198904 / Petri nets：Properties,Analysis and Applications 77. no.4 : 541 ~ 580
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
네팅(Netting)에 관한 小考
법학연구
2006 .02
-
Dynamic Incidence Matrix Representation of Timed Petri Nets and Its Applications for Performance Analysis
한국경영과학회지
1991 .12
-
[D4 일정계획(2)] 제한된 시간변동을 갖는 시간제약 이산사건시스템의 스케줄링 분석
한국경영과학회 학술대회논문집
2002 .06
-
한반도의 날씨 스트레스 지수 NET(Net Effective Temperature) 분포의 특성
대한지리학회지
2004 .03
-
[자연 2분과-기후학 분야] 한반도의 Net(Net Effective Temperature) 분포 특성
대한지리학회 학술대회논문집
2003 .11
-
콜센터 상담원의 순통화시간이 직무 스트레스와 서비스품질에 미치는 영향
서비스경영학회지
2016 .03
-
lT와 한국사회 : 넷(NET)의 사회학
한국사회학회 심포지움 논문집
2008 .05
-
[SA9 제조시스템 공학(1)] Petri net을 이용한 제조시스템의 워크플로우 모델링
한국경영과학회 학술대회논문집
2003 .05
-
초등학교 3, 4, 5학년 학생들의 확률 이해 실태
초등수학교육
2011 .01
-
ESTIMATES OF NET INTERNAL MIGRATION FOR KOREA 1975-80
Journal of Asian Sociology
1983 .12
-
A Petri Net-Based Cell Controller for a Flexible Manufacturing System
Management Science and Financial Engineering
1997 .05
-
Petri Nets 모델 개발에 의한 FMS 출력율 분석에 관한 연구 ( A Study on the Analysis of FMS Throughout-Rate by Development of Pertri Nets Model )
한국경영과학회지
1994 .12
-
〈Data〉ESTIMATES OF NET INTERNAL MIGRATION FOR KOREA 1975-85
Journal of Asian Sociology
1988 .12
-
중국 ‘넷무비(網絡電影)’와 그 산업적 발전 과정 고찰
중국학논총
2020 .01
-
Petri Net 모델의 교착상태 탐색에 관한 연구
한국경영과학회 학술대회논문집
1990 .01
-
An Approach to the Automation of Petri Net Modeling for Interactive Software Development
한국경영과학회 학술대회논문집
1987 .01
-
시간형 페트리네트를 이용한 모의실험 소프트웨어의 개발 ( Development of a Simulation Software Using a Timed Petri net )
한국경영과학회 학술대회논문집
1998 .01
-
예기치 못한 사건이 소비자의 시간예측에 미치는 영향
한국서비스경영학회 학술대회
2017 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-325-015146913