최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기이 논문에서 페트리 네트를 분석하기위한 tool을 Prolog를 사용해서 구현을 해 보고 이것을 이용해서 시스템의 모델링과 분석을 해 보았다. 또 시간 개념이 필요한 모델링을 위해서 timed 페트리 네트를 사용하고 reset arc를 도입 하였다. 페트리 네트는 concurrency나 synchronization의 모델링에 적합하다. Prolog를 사용한 ...
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...
저자 | Yun, Sang Kyun |
---|---|
학위수여기관 | 한국과학기술원 |
학위구분 | 국내석사 |
학과 | 전기 및 전자공학과 |
발행연도 | 1986 |
총페이지 | [ii], 69, [1] p. |
키워드 | Simulation methods 그래프 이론 시스템 시뮬레이션 Petri nets |
언어 | eng |
원문 URL | http://www.riss.kr/link?id=T10513048&outLink=K |
정보원 | 한국교육학술정보원 |
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.