시스템분석을 위한 Petri Nets의 축소방법Reduction Method of Petri Nets for System Analysis

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 512
  • Download : 0
DC FieldValueLanguage
dc.contributor.author이광형ko
dc.contributor.author오길록ko
dc.date.accessioned2013-02-27T05:12:35Z-
dc.date.available2013-02-27T05:12:35Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued1986-02-
dc.identifier.citation정보과학회논문지, v.13, no.1, pp.34 - 41-
dc.identifier.issn0258-9125-
dc.identifier.urihttp://hdl.handle.net/10203/66630-
dc.description.abstract전산기의 Hardware와 Software 분석에 이용되는 Prtri nets의 축소 방법에 대하여 논의하였다. macro-place와 macro-transition의 개념을 소개하였으며, Reducible Subnet를 정의하였다. 복잡한 net 내에서 R-educible Subnet를 축소함으로써 원래 net를 간단히 할 수 있으며, 이 축소된 net는 원래 net가 가진 특성(liveness, boundedness 등)을 간직하고 있다. 따라서 축소된 net를 분석함으로서 원래 복잡한 net의 특성을 연구할 수 있다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.title시스템분석을 위한 Petri Nets의 축소방법-
dc.title.alternativeReduction Method of Petri Nets for System Analysis-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume13-
dc.citation.issue1-
dc.citation.beginningpage34-
dc.citation.endingpage41-
dc.citation.publicationname정보과학회논문지-
dc.contributor.localauthor이광형-
dc.contributor.nonIdAuthor오길록-
dc.description.isOpenAccessN-
Appears in Collection
RIMS Journal Papers
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