(A) study on petri net and regular net페트리 네트와 레귤라 네트에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 605
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorKim, Kil-Chang-
dc.contributor.advisor김길창-
dc.contributor.authorSeong, Nak-Un-
dc.contributor.author성낙운-
dc.date.accessioned2011-12-13T05:48:56Z-
dc.date.available2011-12-13T05:48:56Z-
dc.date.issued1984-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64122&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/33591-
dc.description학위논문(석사) - 한국과학기술원 : 전산학과, 1984.2, [ [ii], 32, [3] p. ]-
dc.description.abstractPetri 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.languageeng-
dc.publisher한국과학기술원-
dc.title(A) study on petri net and regular net-
dc.title.alternative페트리 네트와 레귤라 네트에 관한 연구-
dc.typeThesis(Master)-
dc.identifier.CNRN64122/325007-
dc.description.department한국과학기술원 : 전산학과, -
dc.identifier.uid000821146-
dc.contributor.localauthorKim, Kil-Chang-
dc.contributor.localauthor김길창-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0