DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Myung-Hwan | - |
dc.contributor.advisor | 김명환 | - |
dc.contributor.author | Yun, Sang-Kyun | - |
dc.contributor.author | 윤상균 | - |
dc.date.accessioned | 2011-12-14T02:24:08Z | - |
dc.date.available | 2011-12-14T02:24:08Z | - |
dc.date.issued | 1986 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65217&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/39799 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전기 및 전자공학과, 1986.2, [ [ii], 69 p. ] | - |
dc.description.abstract | This thesis presents a modeling of systems using a Petri net and a timed Petri net, Prolog-based Petri net analysis. A Petri net is abstract formal model of control flow. A Prolog-based tool helps us modeling and analyzing a system. A system can be easily modeled in Pr/T net with prolog-based approach. A timed Petri net is used for the performance evaluation and the time dependent modeling. A timed Petri net chooses the definition that the execution time is assigned to places. Some examples including the communication protocol in XINU are illustrated using a Prolog based tool and a timed Petri net. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | System modeling and analysis using a perti net | - |
dc.title.alternative | 페트리네트를 사용한 시스템의 모델링 및 분석 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65217/325007 | - |
dc.description.department | 한국과학기술원 : 전기 및 전자공학과, | - |
dc.identifier.uid | 000841201 | - |
dc.contributor.localauthor | Kim, Myung-Hwan | - |
dc.contributor.localauthor | 김명환 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.