본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

Synchronic time ratio를 이용 시간 페트리 네트로 모델링된 시스템의 최적 성능에 필요한 초기 조건 결정
Initial requirements to the optimal performance of systems modeled by timed place Petri nets using the synchronic time ratio

고인선    (홍익대학교 전자공학과   ); 최정환    (홍익대학교 전자공학과  );
  • 초록

    The initial token value required to the optimal performance of discrete event systems can be decided by Sum of Delay Time and Synchronic Time ratio, which are new synchronic variables in Timed Place Petri Nets. For the system consisting of two Live-and-Bounded circuits(LB-circuits) fused in common Transition-Transition-Path or common Place-Place-Path, we prove that the Synchronic Time Ratio is the initial token ratio between two LB-circuits to optimally perform system functions. These results are generalized and formulated as a theorem. The initial tokens of a specific place can imply shared resources. Using the theorem, we can decide the minimum number of the shared resources to obtain the optimal performance, and minimize the idling time of resources. As an example, an automated assembly system is modeled by Timed Place Petri Net, and the initial tokens to achieve the optimal system performance are identified. All the values are verified by simulation.


  • 주제어

    timed place petri nets .   synchronic time ratio .   optimal performance .   LB-circuits.  

  • 참고문헌 (11)

    1. Introduction to general net theory , C. A. Petri , LNCS: Net Theory and Application / v.,pp.1-19,
    2. Marked directed graphs , A Commoner;A. W. Hots;S. Even;A. Pnueii , J. Comput. Sci. / v.5,pp.511-523,
    3. Synchronic structure , U. Goltz;Y. Chong Yi , LNCS: Advanced in Petri Nets / v.,pp.233-252,
    4. Toward a synchrony theory for P/T nets , M. Silva , Concurrency and Nets, Special volume in the series "Advances in Petri nets" / v.,pp.435-460,
    5. Performance evaluation of systems using nets , J. Sifakis , LNCS / v.,pp.307-319,
    6. Performance evaluation of asynchronous concurrent systems using Petri nets , C. V. Ramamoorthy;G. S. Ho , IEEE Trans. Software Eng. / v.SE-6,pp.440-449,
    7. The orderly resolution of memory access conflicts among competing channel processes , W. E. Kluge;K. Lautenbach , IEEE Trans. Computer / v.C-31,pp.194-207,
    8. Modular transformation methods for generalized petri nets and their applications in automated manufacturing systems , I. Koh;F. DiCesare , IEEE Transactions on Systems, Man, Cyvernetics / v.21,pp.1512-1522,
    9. Performance evaluation of job shop systems using timed event-graphs , H. Hillion;J. M. Proth , IEEE Trans. Automatic Control / v.34,pp.3-9,
    10. Synthesis methods using deviation bounds in automated manufacturing systems , I. Koh;F. DiCesare , IEEE Conference on Robotics and Automation / v.,pp.1025-1030,
    11. Optimization of invariant criteria for event graphs , S. Laftit;J. M. Proth;X. Xie , IEEE Trans. Automatic Control / v.,pp.,

 저자의 다른 논문

  • 고인선 (6)

    1. 1995 "페트리 네트와 퍼지 개념을 이용한 자동 조립 시스템 제어" 제어·자동화·시스템공학회지 = ICASE magazine 1 (3): 92~100    
    2. 2001 "강인한 음성인식을 위한 이중모드 센서의 결합방식에 관한 연구" 한국음향학회지= The journal of the acoustical society of Korea 20 (6): 51~56    
    3. 2002 "멀티미디어 서비스를 위한 효율적인 대역폭 할당" 한국통신학회논문지. The Journal of Korea Information and Communications Society. 통신이론 및 시스템 27 (c11): 1112~1123    
    4. 2003 "잡음 환경에 강인한 이중모드 음성인식 시스템에 관한 연구" 한국음향학회지= The journal of the acoustical society of Korea 22 (1): 28~34    
    5. 2003 "신호 전송을 위한 ATM 망에서의 ABR 체증제어" 한국통신학회논문지. The Journal of Korea Information and Communications Society. 네트워크 및 서비스 28 (b5): 448~456    
  • 최정환 (0)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기