$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

학위논문 상세정보

페트리네트를 사용한 시스템의 모델링 및 분석

System modeling and analysis using a perti net


Yun, Sang Kyun (한국과학기술원 전기 및 전자공학과 국내석사)
초록

이 논문에서 페트리 네트를 분석하기위한 tool을 Prolog를 사용해서 구현을 해 보고 이것을 이용해서 시스템의 모델링과 분석을 해 보았다. 또 시간 개념이 필요한 모델링을 위해서 timed 페트리 네트를 사용하고 reset arc를 도입 하였다. 페트리 네트는 concurrency나 synchronization의 모델링에 적합하다. Prolog를 사용한 tool은 시스템의 모델링과 분석을 하는데 도움을 주며 Predicate/Transition net를 쉽게 표현할 수 있게 한다. timed 페트리 네트는 place에 수행 시간...

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 nand analyzing a system. A system can be easily modeled in Pr/T net with prolog-based appro...

주제어

#Simulation methods 그래프 이론 시스템 시뮬레이션 Petri nets;

참고문헌 (0)

  1. 이 논문의 참고문헌 없음

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음
저자 Yun, Sang Kyun
학위수여기관 한국과학기술원
학위구분 국내석사
학과 전기 및 전자공학과
발행년도 1986
총페이지 [ii], 69, [1] p.
키워드 Simulation methods 그래프 이론 시스템 시뮬레이션 Petri nets
언어 eng
원문 URL http://www.riss.kr/link?id=T10513048&outLink=K
정보원 한국교육학술정보원
상세조회 0건 원문조회 0건

DOI 인용 스타일