한국경영과학회지 (Journal of the Korean Operations Research and Management Science Society)

  • 제16권2호
  • /
  • Pages.128-147
  • /
  • 1991
  • /
  • 1225-1119(pISSN)
  • /
  • 2733-4759(eISSN)
한국경영과학회 (The Korean Operations Research and Management Science Society)
권호 표지

Dynamic Incidence Matrix Representation of Timed Petri Nets and Its Applications for Performance Analysis

  • Shon, J.G. (Dept. of Computer Science, Korea Air and Corr. Univ.) ;
  • Hwang, C.S. (Dept. of Computer Science, Korea Univ.) ;
  • Baik, D.K. (Dept. of Computer Science, Korea Univ.)
  • 발행 : 1991.12.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

키워드

참고문헌

  1. Ph.D. dissertation, University of Bonn Kommunikation mit automatem C.Petri
  2. Petri Net Theory and Modeling of Systems J.L.Peterson
  3. Proc. of the IEEE v.77 no.4 Petri Nets: Properties, Analysis and Applications T.Murata
  4. IEEE Trans. Soft. Eng. v.SE-13 no.6 Reflexive Incidence Matrix(RIM) Representation of Petri Nets S.K.Das(et al.)
  5. Lecture Notes in Computer Science v.188 Modelling scheduling Problems with timed Petri nets J.Carlier(et al.);G.Rozenberg(ed.)
  6. Ph.D. dissertation, MIT Decidability Questions for Petri Nets M.Hack
  7. Tech. Rep. v.120 Analysis of asynchronous concurrent system by timed Petri nets C.Ramchandani
  8. IEEE Trans. Commun. Recoverability of communication protocols-Implications of a theoretical study P.M.Merlin;D.J.Faber
  9. Proc. 1984 Int.Conf. Parallel Processing Perfomance analysis using timed Petri nets R.R.Razouk;C.V.Phelps
  10. Acta Cybernet v.4 no.2 Use of Petri nets for performance evaluation J.Sifakis
  11. IEEE Trans. Soft. Eng. v.SE-6 no.5 Performance evaluation of asynchronous concurrent processes using Petri nets C.V.Ramamoorthy;G.S.Ho
  12. IEEE Trans. Comput. v.C-31 Performance Analysis using stochastic Petri nets M.K.Molloy
  13. ACM Trans. Comput. Syst. v.2 A class of generalized stochastic Petri nets M.A.Marsan;G.Balbo;G.Conte
  14. IEEE Trans. Soft. Eng. v.SE-11 Discrete time stochastic Petri nets M.K.Molloy
  15. Performance 84 Extended stochastic Petri nets: Applications and analysis J.B.Dugan;K.S.Trivedi;R.M.Geist;V.F.Nicola
  16. IEEE Trans. Soft. Eng. v.SE-13 no.12 A Generalized Timed Petri Net Model for Performance Analysis M.A.Holiday;M.K.Vernon
  17. Theory of Modelling and Simulation B.P.Zeigler
  18. Proc. of 5th Int'l Joint Workshop on Computer Communication An Efficient Simulation of Communication Protocols Modelled by Timed Petri Nets J.G.Shon;D.K.Baik;C.S.Hwang