• 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보

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.

저자의 다른 논문

참고문헌 (11)

  1. Introduction to general net theory , C. A. Petri , LNCS: Net Theory and Application / v.,pp.1-19, 1979
  2. Marked directed graphs , A Commoner;A. W. Hots;S. Even;A. Pnueii , J. Comput. Sci. / v.5,pp.511-523, 1971
  3. Synchronic structure , U. Goltz;Y. Chong Yi , LNCS: Advanced in Petri Nets / v.,pp.233-252, 1985
  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, 1987
  5. Performance evaluation of systems using nets , J. Sifakis , LNCS / v.,pp.307-319, 0000
  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, 1980
  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, 1982
  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, 1991
  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, 1989
  10. Synthesis methods using deviation bounds in automated manufacturing systems , I. Koh;F. DiCesare , IEEE Conference on Robotics and Automation / v.,pp.1025-1030, 1992
  11. Optimization of invariant criteria for event graphs , S. Laftit;J. M. Proth;X. Xie , IEEE Trans. Automatic Control / v.,pp., 1992

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음


원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. (원문복사서비스 안내 바로 가기)

상세조회 0건 원문조회 0건

DOI 인용 스타일