1 |
G. Bruno, A. Castella, I. Pavesio, and M. P. Pescarmona, "A New Petri Net Based Formalism for Specification, Design and Analysis of Real-Time Systems," Proceeding Real-Time Ssytems Symposium, pp.294-301, 1993.
|
2 |
J. E. Coolahan and N.Roussopoulos, "Timing requirement for time-driven systems using augmented Petri nets," IEEE Trans. Software Eng., Vol.SE-9, pp.603-616, 1983(9).
DOI
ScienceOn
|
3 |
N. G. Leveson and J. L. Stolzy, "Safety analysis using Petrinets," IEEE Trans. Software Engineering, Vol.SE-13, No.3, pp.386-387, 1987(3).
DOI
ScienceOn
|
4 |
최동한, "E-TCPN을 이용한 CCSR 적용기법과 스케줄가능성 분석", 부경대학교 졸업논문, 1999.
|
5 |
서상진, "실시간 자동화 제어 엔진의 설계 및 구현", 부경대학교 졸업논문, 2001.
|
6 |
홍현옥, 박성호, 정기동, "시리즈 비디오 데이터의 접근 패턴에 기반한 프록시 캐싱 기법", 멀티미디어학회논문지, 제7권, 8호, pp.1066-1077, 2004.
|
7 |
진현준, 서상진, 박노경, "스트리밍 데이터를 위한 적응적 실시간 트래픽 할당 기법", 전자공학회논문지, 2006.
과학기술학회마을
|
8 |
한성호, "실시간 스트리밍 서비스를 위한 E-TCPN 기반의 지능형 스케듈러 설계 및 구현에 관한 연구", 호서대학교 졸업논문, 2005.
|