- 타임 패트리넷 기반의 분할 알고리즘을 이용한 스케쥴러 설계
- Design of the Scheduler using the Division Algorithm Based on the Time Petri net
- ㆍ 저자명
- 송유진,이종근
- ㆍ 간행물명
- 한국시뮬레이션학회논문지
- ㆍ 권/호정보
- 2003년|12권 2호|pp.13-24 (12 pages)
- ㆍ 발행정보
- 한국시뮬레이션학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
In this study, we propose a scheduling analysis method of the Flexible management system using the transitive matrix. The Scheduling problem is a combination-optimization problem basically, and a complexity is increased exponentially for a size of the problem. To reduce an increase of a complexity, we define that the basic unit of concurrency (short BUC) is a set of control flows based on behavioral properties in the net. And we propose an algorithm to divide original system into some BUC. To sum up, we divide a petri net model of the Flexible management system Into the basic unit of concurrency through the division algorithm using the transitive matrix. Then we apply it to the division-scheduling algorithm to find an efficient scheduling. Finally, we verify its efficiency with an example.