Initial requirements to the optimal performance of systems modeled by timed place Petri nets using the synchronic time ratio

Synchronic time ratio를 이용 시간 페트리 네트로 모델링된 시스템의 최적 성능에 필요한 초기 조건 결정

  • Go, In-Seon (Dept. of Electronic and Electrical Engineering, Hongik University) ;
  • Choi, Juang-Hwan (Dept. of Electronic and Electrical Engineering, Hongik University)
  • 고인선 (홍익대학교 전자공학과) ;
  • 최정환 (홍익대학교 전자공학과)
  • Published : 1997.02.01

Abstract

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.

Keywords

References

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