http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Petri net을 이용한 CODARTS의 성능 평가 방안의 제안
정민포(Min-Po Jung),김규년(Kyoo-Nyn Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
실시간 병렬 시스템 모델링 기법인 CODARTS는 다수의 동시작업으로 이루어진 시스템을 설계하기 위해 사용된다. 그러나 CODARTS에서 생성되는 모델들은 정적인 측면만을 강조한다. 본 논문에서는 CODARTS에서 생성된 모델의 동적인 측면-모델의 실행-을 강조하기 위해, CODARTS의 결과물을 Petri net으로의 변환규칙을 제안한다. CODARTS 모델에서 변환된 Petri net의 특징인 reachable, safeness, deadlock 등을 분석함으로서 더 나은 실시간 병렬시스템의 설계 및 분석을 유도할 수 있다.