메뉴 건너뛰기
소속 기관 / 학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
고객센터 ENG
주제분류

피인용 0

검색

    초록·키워드

    In this paper, we define the firing schedules in Time Petri Nets(TPN for short) for composition of the time function and study some of their properties. We consider a fire scheduling which is done by choosing a transition of top priority from a fire scheduling set in TPN. In order to study priority scheduling problem, we introduce a relation we call priority relation between adjacent transitions. And we propose composition rules of the time function in TPN. paper, to solve this problem, we define the firing schedules in Time Petri nets and study some of their properties. We prove that the set of schedules issued from a firable sequence of the underlying Petri Net has a priority scheduling of the sequence. In order to study priority scheduling problem, we introduce a priority relation between adjacent transitions. And we propose a composition rules for time function in TPN.

    최근 본 자료 전체보기

      UCI(KEPA) : I410-ECN-0101-2009-569-013237568