DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Kil-Chang | - |
dc.contributor.advisor | 김길창 | - |
dc.contributor.author | Seong, Nak-Un | - |
dc.contributor.author | 성낙운 | - |
dc.date.accessioned | 2011-12-13T05:48:56Z | - |
dc.date.available | 2011-12-13T05:48:56Z | - |
dc.date.issued | 1984 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64122&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33591 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1984.2, [ [ii], 32, [3] p. ] | - |
dc.description.abstract | Petri net has been used for modeling and analyzing the concurrent systems. There exists the trade-off between modeling and analyzing the system. To simplify the analysis the algebraic approach is presented for petri net. We show that petri net is transformed into the regular net that permits decomposition and synthesis of net analysis. Structured net that can modularize the net is introduced. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (A) study on petri net and regular net | - |
dc.title.alternative | 페트리 네트와 레귤라 네트에 관한 연구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 64122/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000821146 | - |
dc.contributor.localauthor | Kim, Kil-Chang | - |
dc.contributor.localauthor | 김길창 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.