References
- 임영환, 'ComBiStation : 분산 멀티미디어 컴퓨팅 환경을 위한 컴퓨팅 플랫폼', 정보과학회논문지, 제2권 제1호, pp.6-8
- Patrick Senac, Michel Diaz, Alain Leger and Pierre de Saque-Sannes, 'Modeling Logical and Temporal Synchronization in Hypermedia Systems,' IEEE Journal on Selected Areas in Communications, Vol.14, No.l, pp.94-103, January, 1996 https://doi.org/10.1109/49.481696
- M. Ajmone Marsan, G. Balbo and G. Conte, 'Modeling with Generalized Stochastic Petri Nets,' WILLY, 1993
- T. Murata, 'Petri Nets : Properties, Analysis and Applications,' Proceedings of the IEEE, Vol.77, No.4, pp.541-576, April, 1989 https://doi.org/10.1109/5.24143
- Thomas D. C. Little and Arif Ghafoor, 'Interval-Based Conceptual Models for Time-Dependent Multimedia Data,' IEEE Transactions on Knowledge and Data Engineering, Vol.5, No.4, pp.551-563, August, 1993 https://doi.org/10.1109/69.234768
- Ralf Steinmetz, 'Synchronization Properties in Multimedia Systems,' IEEE Journal on Selected Areas in Communications, Vol.8, No.3, pp.401-412, April, 1990 https://doi.org/10.1109/49.53016
- J. F. Allen, 'Maintaining Knowledge About Temporal Intervals,' CACM, Vol.26, No.11, pp.832-843, Nov., 1983 https://doi.org/10.1145/182.358434
- S. V. Raghavan and B. Prabhakaran, 'Synchronization Models for Multimedia Presentation with User Participation,' ACM/Springer-Verlag Multimedia Systems, Vol.2, No.2, pp.53-62, August, 1994 https://doi.org/10.1007/BF01274180
- M. Hack, 'Decidability Questions for Petri Nets,' Ph.D. dissertation, MIT, Massachusetts, Dec., 1975
- 손진곤, 황종선, 백두권, '동적 표현능력을 갖는 Timed Petri Net 형식론', 정보과학회논문지, 제19권 제1호, pp.34-47, January, 1992
- Stephen S. Yau and Mehmet U. Caglayan, 'Distributed Software System Design Representation Using Modified Petri Nets,' IEEE Transactions on Software Engineering, Vol. SE-9, N0.6, pp.733-745, November, 1983 https://doi.org/10.1109/TSE.1983.235581
- Bernard Berthomieu and Michil Diaz, 'Modeling and Verification of Time Dependent Systems Using Time Petri Nets,' IEEE Transactions on Software Engineering, Vol.17, No.3, pp.259-273, March, 1991 https://doi.org/10.1109/32.75415
- G, Blakowskiand and R. Steinmetz, 'A Media Synchronization Survey : Model, Specification, and Case Studies,' IEEE Journal on Selected Areas in Communications, Vol.14, No.l, pp.5-35, January, 1996 https://doi.org/10.1109/49.481691
- J. Carlier, P. Chretienne and C. Girault, 'Modelling Scheduling Problems with Timed Petri Nets,' in Advanced in Petri Nets 1984, Lecture Notes in Computer Science, Springer-Verlag Pub. Co., pp.62-82, 1985